{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "<center>\n",
    "<img src=\"../../img/ods_stickers.jpg\">\n",
    "## Открытый курс по машинному обучению\n",
    "<center>Автор материала: Егор Урванов (@hedgehogues)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Алгоритмы кластеризации\n",
    "\n",
    "Я хочу рассказать об одном не очень известном алгоритме кластеризации. \n",
    "\n",
    "Как правило, вместе со словом кластеризация у человека, который имеет базовые знания в ML, возникает стойкая ассоциация с одним известным методом [K-means](https://en.wikipedia.org/wiki/K-means_clustering), либо его расширениями и родственниками: [K-means++](https://en.wikipedia.org/wiki/K-means%2B%2B), [K-medians](https://ru.wikipedia.org/wiki/K-medians). А далее может возникнуть неприятное молчание. Оказывается, что сходу может быть сложно назвать какой бы то ни было ещё алгоритм.\n",
    "\n",
    "Не стоит забывать, что помимо семейства **K-...**, есть замечательный [DBSCAN](https://habrahabr.ru/post/322034/), графовые алгоритмы кластеризации, близкое ему семейство иерархической кластеризации, [Affinity Propagation](https://en.wikipedia.org/wiki/Affinity_propagation), а также многие другие. Относительно полный список можно найти [здесь](https://ru.wikipedia.org/wiki/%D0%9A%D0%BB%D0%B0%D1%81%D1%82%D0%B5%D1%80%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7) и [тут](https://logic.pdmi.ras.ru/~sergey/teaching/ml/11-cluster.pdf).\n",
    "\n",
    "Все эти алгоритмы располагают серьёзной информацией об устройстве мира кластеризуемых объектов. Как минимум, здесь используется мера близости объектов, основанная на векторном представлении. Но что, если... мы ничего не можем сказать об объекте, за исключением того, равны ли они между собой или нет. Замечу, что такие ситуации встречаются катострафически часто:\n",
    "\n",
    "* **Тексты**. Каждое слово можно сравнивать с каждым другим лишь на равенство. Разумеется, есть расширения этого подхода, но они намного сложнее концептуально.\n",
    "* **Даты**. Например, дни недели часто удобно рассматривать как категории. Хотя, если копнуть глубже, то, разумеется, здесь есть все признаки частичного порядка и ранговой шкалы.\n",
    "* **Географические объекты**. Названия сёл, городов, стран и др.\n",
    "* **Категории в узком смысле**. Категории товаров в магазине; маркетенговые сегменты в банке; симптомы заболеваний у пациента и т.д.\n",
    "* **Количественные шкалы, преобразованные в номинальные**. Иногда вещественные признаки градуируют и переводят в ранговые и номинальные, после чего работают уже с ними.\n",
    "* **Id** объектов. Часто можно встретить в данных уже заданные отношения. Такое происходит, например, в социальных сетях. У людей есть наборы друзей, которые задаются при помощи *id*. Это представляется в виде *человек i* -> [друг 1, друг 2, ..., друг n_i]. На множестве *id* также задано отношения равенства. А значит это категориальный признак.\n",
    "* ...\n",
    "\n",
    "Для признаков, которые получаются из вышеуказанных объектов, задано только отношение эквивалентности, т.е. пары вида: \n",
    "\n",
    "$(a, b) = \\{(a, b) \\in \\text{X}^2|a=b\\}$\n",
    "\n",
    "Об алгоритме, который работает с такими объектами и пойдёт речь ниже."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# CLOPE. Описание\n",
    "\n",
    "В [оригинальной статье](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.7142&rep=rep1&type=pdf) наборы категориальных признаков различной мощности (размера), называются **Transactional Data**. Работы с данными высокой размерности, как правило, предполагает их продолжительную обработку. Авторы статьи предлагают довольно шустрый алгоритм для таких целей.\n",
    "\n",
    "Задача перед **CLOPE** стоит простая: необходимо разделить набор транзакций на поднаборы. Но как это сделать? Нужно выбрать какой-нибудь адекватный критерий.\n",
    "\n",
    "Перед тем, как продолжить и ввести критерий, рассмотрим пример."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Пример\n",
    "\n",
    "Пусть у нас есть 5 транзакций. Для простоты, под транзакциями можно мыслить корзину покупок, которую делали пользователи в интернет-магазине. Рассмотрим 5 транзакций:\n",
    "\n",
    "$\\{\\text{(яблоко, банан), (яблоко, банан, пирожоное), (яблоко, пирожоное, тарелка), (тарелка, утка), (тарелка, утка, рыба)}\\} = \\{\\text{(я, б), (я, б, п), (я, п, т), (т, у), (т, у, р)}\\} = \\{\\text{яб, ябп, япт, ту, тур}\\}$\n",
    "\n",
    "Как-нибудь разобьём наши транзакции двумя способами, предварительно отсортировав:\n",
    "\n",
    "Разбиение 1: $\\{\\{\\text{яб, ябп, япт}\\}, \\{\\text{ту, тур}\\}\\}$\n",
    "\n",
    "Разбиение 2: $\\{\\{\\text{яб, ябп}\\}, \\{\\text{япт, ту, тур}\\}\\}$\n",
    "\n",
    "Теперь нужно научиться как-то сравнивать разбиения. Интуитивно понятно, что чем больше общих элементов в разбиении, тем лучше. Авторы алгоритма предложили элегантный способ сравнения таких объектов. Построим частотную гистограмму признаков, которые входят в каждый кластер:\n",
    "\n",
    "<img src=\"../../img/histogram.png\">\n",
    "\n",
    "Качество двух разбиений оценим, проанализировав их высоту $H$ и ширину $W$. Под $W$ будем понимать количество различных признаков. Кластеры $\\text{{ту, тур}}$ и $\\text{{яб, ябп}}$ имеют одинаковые гистограммы, следовательно, равноценны. Гистограмма для кластера $\\text{{яб, ябп, япт}}$ содержит 4 различных элемента и имеет площадь 8 блоков ($H=2, \\dfrac{H}{W}=0.5$), а кластер $\\text{{япт, ту, тур}}$ – 5 различных элементов с такой же площадью ($H=1.6, \\dfrac{H}{W}=0.32$). Очевидно, что разбиение 1 лучше, поскольку обеспечивает большее наложение транзакций друг на друга (соответственно, параметр $H$ там выше).\n",
    "\n",
    "Вообще говоря, высоту гистограммы вычислить точно нельзя, поэтому она заменяется на \"усреднённое\" значение. \n",
    "\n",
    "Как можно догадаться учитывать только высоту -- слишком плохо. В таком случае теряется \"обобщающая способность\". Это лего понять, если рассмотреть пример. Пусть есть 2 разбиения:\n",
    "\n",
    "$\\text{{абв, где}}$ \n",
    "\n",
    "и\n",
    "\n",
    "$\\text{{{абв}, {где}}}$\n",
    "\n",
    "т.е. в одном случае имеем 2 кластера, в каждом из которых по 3 объекта. В ином случае имеем 1 кластер, в котором есть 6 объектов. Рассматривая только высоту, заключим, что она равна 1. В таком случае, разбиения не отличаются.\n",
    "\n",
    "С другой стороны, с точки зрения логики, второе разбиение, в некотором смысле, \"эффективнее\", поскольку у первой и второй транзакции нет общих элементов, а значит они полностью отличны. В таком случае логичнее отнести их в разные кластеры. Чтобы обеспечить такую эффективность, вводят \"штраф\", который представляет собой деление высоты на ширину кластера. Т.е. мы хотим обеспечить минимальный разброс внутри каждой совокупности транзакций. \n",
    "\n",
    "Таким образом, чем меньше ширина, тем лучше. Чем больше высота, тем лучше. Получаем:\n",
    "\n",
    "$\\text{G(C)} = \\dfrac{H}{W} = \\dfrac{\\frac{S}{W}}{W} = \\dfrac{S}{W^2}$\n",
    "\n",
    "На основе такой очевидной и простой идеи геометрических гистограмм и работает алгоритм CLOPE (англ.: Clustering with sLOPE). Рассмотрим его подробнее в более формальном описании.\n",
    "\n",
    "Для параметризации алгоритма, предлагается степень в знаменателе заменить на $r$:\n",
    "\n",
    "$\\text{G(C, r)} = \\dfrac{S}{W^{r}}$\n",
    "\n",
    "Таким образом можно получить различное число кластеров. Интерпретация у параметра очень проста - это степень отталкивания. Чем больше $r$, тем дальше разлетаются кластеры. Чем меньше, тем сильнее они притягиваются.\n",
    "\n",
    "Вместо корзин покупок можно положить тексты (одна транзакция -- один текст), наборы признаков (например, дни недели, месяцы, год и список приобретённых товаров)."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Формальное описание алгоритма\n",
    "\n",
    "Пусть имеется база транзакций $X$, состоящая из множества транзакций $\\{t_1, t_2, \\cdots, t_n\\}$. Каждая транзакция есть набор объектов $(q_1,\\cdots,q_m)$, где под $()$ подразумевается неупорядоченный набор с повторениями. Множество кластеров $\\{C_1,\\cdots,C_k\\}$ - есть разбиение множества $\\{t_1,\\cdots,t_n\\}$, такое, что $C_i \\neq \\emptyset \\land C_i\\cap C_j = \\emptyset$, для $1 \\leq i, j \\leq k$. Каждый элемент $C_i$ называется кластером, $n, m, k$ – количество транзакций, количество объектов в базе транзакций и число кластеров соответственно.\n",
    "\n",
    "$D(C)$ – множество уникальных объектов в $C$;\n",
    "\n",
    "$Occ(y,C)$ – количество вхождений объекта $y$ в кластер $C$ (частота или высота отдельно взятого столбца гистограммы $С$);\n",
    "\n",
    "$S(C)= \\sum_{y \\in D(C)} Occ(y,C)=\\sum_{t_i\\in C} |t_i|$ – площадь гистограммы или количество объектов в кластере;\n",
    "\n",
    "$W(C) = |D(C)|$ – ширина гистограммы или количество уникальных объектов в кластере;\n",
    "\n",
    "$H(C) = \\dfrac{S(C)}{W(C)}$ – средняя высота гистограммы;\n",
    "\n",
    "$G(C, r) = \\dfrac{S(C)}{W^r(C)}$ – целевая функция.\n",
    "\n",
    "Чтобы получить функцию для оценки качества разбиеия, положим:\n",
    "\n",
    "$\\text{Profit}(\\mathbb{C}, r) = \\dfrac{\\sum_{C_k \\in \\mathbb{C}}G(C_k)|C_k|}{\\sum_{C_k \\in \\mathbb{C}}|C_k|} = \n",
    "\\dfrac{\\sum_{C_k \\in \\mathbb{C}}\\dfrac{H(C)}{W^2(C)}|C_k|}{\\sum_{C_k \\in \\mathbb{C}}|C_k|}$,\n",
    "\n",
    "где $\\mathbb{C}$ -- множество всех кластеров, $|C_k|$ -- мощность кластера в транзакциях.\n",
    "\n",
    "Умея вычислять качество разбиения $\\text{Profit}(\\mathbb{C})$, при получении нового объекта можем пытаться отнести его к одному из имеющихся кластеров, либо в новый кластер. В результате этого можно легко вычислить приращение $\\Delta\\text{Profit}(\\mathbb{C})$ после попытки добавить новую транзакцию в один из имеющихся кластеров, либо в новый кластер. В тот кластер, где изменение $\\Delta\\text{Profit}(\\mathbb{C})$ доставит наилучшее значение, следует добавить поступившую транзакцию.\n",
    "\n",
    "Запишем формулу для вычисления изменения $\\Delta\\text{Profit}(\\mathbb{C})$ при условии, что новая транзакция была добавлена в кластер $p$. Наблюдая за функцией  приращения, можно заметить, что добавляя транзакции в различные кластеры, будет меняться лишь числитель. Поэтому вычислять следует только его. Для вычисления изменения необходимо знать всего одно слагаемое из суммы, посколько все остальные сокращаются при вычитании:\n",
    "\n",
    "$\\Delta\\text{Profit}(\\mathbb{C}) = \\text{Profit}(\\mathbb{C_{new}}) - \\text{Profit}(\\mathbb{C_{old}})$\n",
    "\n",
    "Таким образом, вычислим:\n",
    "\n",
    "$\\Delta\\text{Profit}(\\mathbb{C}) = \\dfrac{S_{new}(C_p)}{W_{new}^2(C_p)}(|C_p| + 1) - \\dfrac{S(C)}{W^2(C)}|C_p|$,\n",
    "\n",
    "где $S_{new}(C_p), W_{new}(C_p)$ - величины с добавленой новой транзакцией.\n",
    "\n",
    "Последовательно будем перебирать все транзакции и пытаться добавить каждую в какой-нибудь кластер так, чтобы $Profit$ был максимальным, пока все транзакции не закончатся. Как только все транзакции закончатся, следует перебрать их ещё раз и пытаться переложить каждую транзакцию в другой кластер, так, чтобы $Profit$ увеличился. Так будем делать до тех пор, пока транзакции можно будет переложить.\n",
    "\n",
    "Далее под под объектами могут пониматься очень разные вещи: слова в тексте, значения признаков некоторого объекта и т.д. Транзакции могут оказываеться также очень различными. Это не должно вводить читателя в заблуждение."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Вычисления для примера выше\n",
    "\n",
    "Проведём вычисления для примера выше. Рассмотрим разбиение 1, кластер 1:\n",
    "\n",
    "$C = \\{яб, ябп, япт\\}$\n",
    "\n",
    "Уникальные объекты:\n",
    "\n",
    "$D(C)=D(\\{яб, ябп, япт\\}) = \\{я, п, б, т\\}$\n",
    "\n",
    "Ширина гистограммы:\n",
    "\n",
    "$W(C) = |D(C)| = |\\{я, п, б, т\\}| = 4$\n",
    "\n",
    "Частоты:\n",
    "\n",
    "$Occ(я,C)=3$\n",
    "\n",
    "$Occ(б,C)=2$\n",
    "\n",
    "$Occ(п,C)=2$\n",
    "\n",
    "$Occ(т,C)=1$\n",
    "\n",
    "Площадь:\n",
    "\n",
    "$S(C)=Occ(я,C)+Occ(б,C)+Occ(п,C)+Occ(т,C)=3+2+2+1=8$\n",
    "\n",
    "Средняя высота:\n",
    "\n",
    "$H(C)=\\dfrac{S(C)}{W(C)}=\\dfrac{8}{4}=2$\n",
    "\n",
    "Целевая функция для отдельно взятого кластера:\n",
    "\n",
    "$G(C, 2)=\\dfrac{S(C)}{W^2(C)}=0.5$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Пример с добавлением нового объекта\n",
    "\n",
    "Задим транзакции, как это сделано в примере выше:\n",
    "\n",
    "$\\{\\text{яб, ябп, япт, ту, тур}\\}$\n",
    "\n",
    "Будем последовательно перебирать их и добавлять в кластеры. Изначально считаем, что у нас в наличии есть один пустой кластер. При добавлении транзакции в пустой кластер, создадим ещё один пустой. Проделаем несколько шагов. \n",
    "\n",
    "**Обрабатываем $\\text{{яб}}$**\n",
    "\n",
    "*Шаг 1*\n",
    "\n",
    "Возьмём $\\text{{яб}}$ и попытаемся добавить в пустой кластер $C_0$. Посчитаем характеристики:\n",
    "\n",
    "$Occ(я,C_0)=1$\n",
    "\n",
    "$Occ(б,C_0)=1$\n",
    "\n",
    "$D(C_0)=D(\\{яб\\}) = \\{я, б\\}$\n",
    "\n",
    "$W(C_0)=|D(C_0)|=|\\{я,б\\}| = 2$\n",
    "\n",
    "$S(C_0)=Occ(я,C_0)+Occ(б,C_0)=1+1=2$\n",
    "\n",
    "$H(C_0)=\\dfrac{S(C_0)}{W(C_0)}=\\dfrac{8}{4}=1$\n",
    "\n",
    "$G(C_0, 2)=\\dfrac{S}{W^2}=0.5$\n",
    "\n",
    "$\\Delta\\text{Profit}(\\mathbb{C_0}) = G_{new}(|C_0| + 1) - G|C_0| = 0.5$\n",
    "\n",
    "Других кластеров нет. Зафиксируем все вычисленные значения.\n",
    "\n",
    "*Шаг 2*\n",
    "\n",
    "Возьмём $\\text{{ябп}}$ и попытаемся добавить в кластер $C_0$. Посчитаем характеристики:\n",
    "\n",
    "$D(C_0)=\\{я, б, п\\}$\n",
    "\n",
    "$W(C_0)=|\\{я,б,п\\}|=3$\n",
    "\n",
    "$S(C_0)=Occ(я,C_0)+Occ(б,C_0)+Occ(п,C_0)=2+2+1=5$\n",
    "\n",
    "$H(C_0)=\\dfrac{S}{W}=\\dfrac{5}{3}$\n",
    "\n",
    "$G(C_0, 2)=\\dfrac{S}{W^2}=\\dfrac{5}{9}$\n",
    "\n",
    "$\\Delta\\text{Profit}(\\mathbb{C_0}) = G_{new}(|C_0| + 1) - G|C_0| = 2\\dfrac{5}{9}-\\dfrac{1}{2}=\\dfrac{11}{18}$\n",
    "\n",
    "Создадим пустой кластер $C_1$ и добавим транзакцию туда. Посчитаем характеристики:\n",
    "\n",
    "$D(C_1)=\\{я, б, п\\}$\n",
    "\n",
    "$W(C_1)=|\\{я,б,п\\}|=3$\n",
    "\n",
    "$S(C_1)=Occ(я,C_1)+Occ(б,C_1)+Occ(п,C_1)=1+1+1=3$\n",
    "\n",
    "$H(C_1)=\\dfrac{S}{W}=1$\n",
    "\n",
    "$G(C_1, 2)=\\dfrac{S}{W^2}=\\dfrac{1}{3}$\n",
    "\n",
    "$\\Delta\\text{Profit}(\\mathbb{C_0})=\\dfrac{1}{3}$\n",
    "\n",
    "Так как прирост при добавлении в $C_0$ больше. Поэтому транзакция будет добавлена туда.\n",
    "\n",
    "И так далее..."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# CLOPE. Алгоритм\n",
    "\n",
    "Напишем псевдокод алгоритма. Для начала, инициализируем все кластеры, пройдя по всем транзакциям и попытавшись добавить каждую в один из кластеров:\n",
    "\n",
    "    transactions := все имеющиеся транзакции\n",
    "    clusters = []\n",
    "    \n",
    "    for transact in transactions:\n",
    "        max_gradient = -Inf\n",
    "        best_cluster = None\n",
    "        \n",
    "        for cluster in clusters:\n",
    "            gradient = cluster.append(transact).get_gradient() - cluster.get_gradient()\n",
    "            if gradient > max_gradient:\n",
    "                max_gradient = gradient\n",
    "                best_cluster = cluster\n",
    "            cluster.extract(transact)\n",
    "\n",
    "        clusters.append(new Cluster())\n",
    "        gradient = new_cluster.append(transact).get_gradient()\n",
    "        \n",
    "        if gradient > max_gradient:\n",
    "            max_gradient = gradient\n",
    "            clusters.append(cluster)\n",
    "        else:\n",
    "            clusters.append(best_cluster)\n",
    "            clusters.pop()\n",
    "\n",
    "После инициализации кластеров, попытаемся перераспределить транзакции между ними. Важно заметить, что на каждой итерации, после удаления, нужно удалять пустые кластеры:\n",
    "\n",
    "    repeat\n",
    "    \n",
    "        max_gradient = -Inf\n",
    "        for transact in transactions:\n",
    "        \n",
    "            best_cluster = None\n",
    "            \n",
    "            clusters.extract(transact)\n",
    "            clusters.delete_empty_clusters()\n",
    "            \n",
    "            for cluster in clusters:\n",
    "                gradient = cluster.append(transact).get_gradient() - cluster.get_gradient()\n",
    "                if gradient > max_gradient:\n",
    "                    max_gradient = gradient\n",
    "                    best_cluster = cluster\n",
    "                cluster.extract(transact)\n",
    "\n",
    "            clusters.append(new Cluster())\n",
    "            gradient = new_cluster.append(transact).get_gradient()\n",
    "            \n",
    "            if gradient > max_gradient:\n",
    "                max_gradient = gradient\n",
    "                clusters.append(cluster)\n",
    "            else:\n",
    "                clusters.append(best_cluster)\n",
    "                clusters.pop()\n",
    "                \n",
    "    until max_gradient == -Inf\n",
    "\n",
    "Напишем ряд функций, необходимых для реализации алгоритма:\n",
    "\n",
    "* Добавление транзакции в кластер (гистограмму)\n",
    "* Удаление транзакции из кластера (гистограммы)\n",
    "\n",
    "Для начала, объявим класс `Cluster`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import matplotlib.pyplot as plt\n",
    "import numpy as np\n",
    "import pandas as pd\n",
    "import seaborn as sns\n",
    "\n",
    "\n",
    "class Cluster:\n",
    "\n",
    "    def __init__(self, history_count):\n",
    "        # История количества транзакций в кластерах\n",
    "        self.history_count_transact = [0] * history_count\n",
    "        # Площадь гистограммы\n",
    "        self.area = 0.0\n",
    "        # Высота гистограммы (в смысле H = S / W). Данная величина нигде в явном виде не вычисляется.\n",
    "        # Хранится в классе для полноты описания класса и не более того.\n",
    "        self.height = 0.0\n",
    "        # Ширина гистограммы (в смысле числа элементов)\n",
    "        self.width = 0.0\n",
    "        # Градиент (в смысле G = H / W). Данная величина нигде в явном виде не вычисляется. Хранится в классе\n",
    "        # для полноты описания класса и не более того.\n",
    "        self.gradient = 0.0\n",
    "        # Число транзакций\n",
    "        self.count_transactions = 0\n",
    "        # Гистограмма\n",
    "        self.histogram = {}\n",
    "\n",
    "    '''\n",
    "    Добавить транзакцию в кластер. Перебираем все элементы гистограммы, достраиваем гистограмму\n",
    "    Input parametres:\n",
    "    transaction -- слайс с объектами (транзакция)\n",
    "    '''\n",
    "    def add_transaction(self, transaction):\n",
    "        # Поочерёдно перебираем все элементы гистограммы и добавляем в соответствующий столбец гистограммы. Если\n",
    "        # рассматриваемого элемента нет, то добавим новый столбец в гистограмму\n",
    "        for item in transaction:\n",
    "            if not (item in self.histogram):\n",
    "                self.histogram[item] = 1\n",
    "            else:\n",
    "                self.histogram[item] += 1\n",
    "        # Вчисляем суммарную площадь гистограммы в смысле CLOPE (количество транзакций)\n",
    "        self.area += float(len(transaction))\n",
    "        # Вычисляем ширину гистограммы (количество различных объектов)\n",
    "        self.width = float(len(self.histogram))\n",
    "        # Подсчитываем число транзакций в кластере\n",
    "        self.count_transactions += 1\n",
    "\n",
    "    '''\n",
    "    Удалить транзакцию из кластера. Перебираем все элементы гистограммы, убираем все элементы транзакции из\n",
    "    гистограммы\n",
    "    \n",
    "    Input parametres:\n",
    "    transaction -- слайс с объектами (транзакция)\n",
    "    Returned values:\n",
    "    величина градиента G(transaction)\n",
    "    \n",
    "    Внутри класса не происходит слежение за тем, какие транзакции добавляются, какие удаляются, поэтому, если в\n",
    "    процессе модификации будет исключена транзакция, которая не была добавлена в соответствующий кластер, алгоритм\n",
    "    выдаст неверный результат\n",
    "    '''\n",
    "    def remove_transaction(self, transaction):\n",
    "        for item in transaction:\n",
    "            if self.histogram[item] == 0:\n",
    "                del self.histogram[item]\n",
    "        self.area -= float(len(transaction))\n",
    "        self.width = float(len(self.histogram))\n",
    "        self.count_transactions -= 1\n",
    "        return self.gradient"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Определим класс `CLOPE`, содержащий в себе\n",
    "\n",
    "* Инициализация кластеров\n",
    "* Добавление новой транзакции к кластеру\n",
    "* Удаление транзакции из кластера\n",
    "* Вычисление приращения\n",
    "\n",
    "Ряд функций пока что будут непонятны, но о них мы обязательно поговорим позже:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "class CLOPE:\n",
    "\n",
    "    def __init__(self, is_save_history=True, print_step=1000, random_seed=None):\n",
    "        if random_seed is not None:\n",
    "            self.random_seed = random_seed\n",
    "        else:\n",
    "            self.random_seed = np.random.random_integers(0, 65536)\n",
    "        # Список кластеров\n",
    "        self.clusters = {}  # CCluster\n",
    "        # Номера шумовых кластеров\n",
    "        # Данный объект необходим для того, чтобы не брать во внимание те объкты, которые были отнесены к шумовым\n",
    "        self.noise_clusters = {}\n",
    "        # Количество добавленных транзакций\n",
    "        self.count_transactions = 0\n",
    "        # Номер итерации\n",
    "        self.iteration = 0\n",
    "        # Словарь. ключ/значение : номер транзакции/номер кластера\n",
    "        self.transaction = {}\n",
    "        # Максимальный номер кластера\n",
    "        self.max_cluster_number = 0\n",
    "        self.print_step = print_step\n",
    "        self.is_save_history = is_save_history\n",
    "\n",
    "    '''\n",
    "    Рассчитывается изменение Goal, которое получит целевая функция при добавлении транзакции к кластеру clusterNumber.\n",
    "    Кластер, доставляющий максимальное значение функции, будет искомым кластером (в который следует добавить\n",
    "    транзакцию)\n",
    "    Input parametres:\n",
    "    transaction -- транзакция (список объектов)\n",
    "    clusterNumber -- номер кластера, приращение для которого рассчитывается\n",
    "    r -- отталкивание в смысле CLOPE\n",
    "    Returned value:\n",
    "    Возвращает значение изменения целевой функции при добавлении transaction к кластеру clusterNumber\n",
    "    '''\n",
    "    def delta_transaction(self, transaction, cluster_number, r):\n",
    "        area = self.clusters[cluster_number].area + len(transaction)\n",
    "        width = self.clusters[cluster_number].width\n",
    "        for item in transaction:\n",
    "            if not (item in self.clusters[cluster_number].histogram):\n",
    "                width += 1\n",
    "        if width != 0:\n",
    "            new_delta_value = area * (self.clusters[cluster_number].count_transactions + 1) / (width ** r)\n",
    "        else:\n",
    "            new_delta_value = 0\n",
    "        if self.clusters[cluster_number].width != 0:\n",
    "            old_delta_value = self.clusters[cluster_number].area * self.clusters[cluster_number].count_transactions / (\n",
    "                self.clusters[cluster_number].width ** r)\n",
    "        else:\n",
    "            old_delta_value = 0\n",
    "        return new_delta_value - old_delta_value\n",
    "\n",
    "    '''\n",
    "    Функция удаления шума. Все кластеры, размер которых больше limit остаются\n",
    "    Input parametres:\n",
    "    limit -- уровень шума кластеров\n",
    "    '''\n",
    "    def noise_reduction(self, limit):\n",
    "        # Удаляем все пустые и зашумлённые кластеры\n",
    "        new_clusters = {}\n",
    "        for item in self.clusters:\n",
    "            if self.clusters[item].count_transactions > limit:\n",
    "                new_clusters[item] = self.clusters[item]\n",
    "            else:\n",
    "                self.noise_clusters[item] = True\n",
    "        self.clusters = new_clusters\n",
    "\n",
    "    '''\n",
    "    Вычисление целевой функции для всех уже сформированных кластеров\n",
    "    Используется при модификации кластеров, либо их инициализации\n",
    "    Input parametres:\n",
    "    r -- вещественное число, обозначающие отталкивание кластеров в смысле CLOPE\n",
    "    Returned value:\n",
    "    Возвращает значение целевой функции\n",
    "    '''\n",
    "    def get_goal_function(self, r):\n",
    "        measure = 0.0\n",
    "        # Перебираем все кластеры и для каждого рассчитываем его вес. Все веса суммируются в общую метрику\n",
    "        for item in self.clusters:\n",
    "            if item.width == 0:\n",
    "                # print \"test\"\n",
    "                pass\n",
    "            else:\n",
    "                # Попытка подобрать иную метрику\n",
    "                # measure += (r ** 2 * math.log(item.Area ** (1 / r) / item.Width) ** 2) *\n",
    "                # item.CountTransactions / self.CountTransactions\n",
    "                measure += item.area / (item.width ** r) * item.count_transactions / self.count_transactions\n",
    "        return measure\n",
    "\n",
    "    '''\n",
    "    Добавление новой транзакции\n",
    "    Пытаемся перераспределить транзакцию (transaction) с номером id в другой класс так, чтобы целевая функция приняла\n",
    "    максимальное значение\n",
    "    Input parametres:\n",
    "    transaction -- транзакция (слайс с объектами)\n",
    "    id -- номер транзакции\n",
    "    repulsion -- вещественное число, обозначающие отталкивание кластеров в смысле CLOPE\n",
    "    isSaveHistory -- флаг, выставляемый при необходимости записи истории количества транзакций\n",
    "    Returned parameter:\n",
    "    Возвращается номер кластера, в который была добавлена текущая транзакция\n",
    "    '''\n",
    "    def move_transaction(self, transaction, id, repulsion=2, max_count_clusters=None):\n",
    "        r = repulsion\n",
    "        max_value = None\n",
    "        max_value_index = None\n",
    "        self.count_transactions += 1\n",
    "\n",
    "        # Ищем кластер, на котором будет достигнуто максимальное значение изменения целевой функции\n",
    "        for cluster_number in self.clusters:\n",
    "            # Пишем историю\n",
    "            if self.is_save_history:\n",
    "                self.clusters[cluster_number].history_count_transact.append(\n",
    "                    self.clusters[cluster_number].count_transactions\n",
    "                )\n",
    "\n",
    "            delta = self.delta_transaction(transaction, cluster_number, r)\n",
    "            if (delta > 0 or max_count_clusters is not None) and (max_value is None or delta > max_value):\n",
    "                max_value_index = cluster_number\n",
    "                max_value = delta\n",
    "\n",
    "        # Добавляем транзакцию в новый кластер и смотрим на результат\n",
    "        if max_count_clusters is None or len(self.clusters) < max_count_clusters:\n",
    "            self.clusters[self.max_cluster_number] = Cluster(self.count_transactions)\n",
    "            if max_value is None or self.delta_transaction(transaction, self.max_cluster_number, r) > max_value:\n",
    "                max_value_index = self.max_cluster_number\n",
    "                self.max_cluster_number += 1\n",
    "            else:\n",
    "                del self.clusters[self.max_cluster_number]\n",
    "\n",
    "        # Запоминаем, в каком кластере лежит текущая транзакция\n",
    "        self.transaction[id] = max_value_index\n",
    "\n",
    "        # Добавляем транзакцию в необходимый кластер\n",
    "        self.clusters[max_value_index].add_transaction(transaction)\n",
    "\n",
    "        return max_value_index\n",
    "\n",
    "    '''\n",
    "    Адаптивное вычисление порога шума. Порог вычистывается относительно медианы размеров кластеров (в числе\n",
    "    транзакций). Берётся 3/4 медианы\n",
    "    '''\n",
    "    def get_noise_limit(self, percentile=0.75):\n",
    "        size_clusters = []\n",
    "        for item in self.clusters:\n",
    "            size_clusters.append(self.clusters[item].count_transactions)\n",
    "        sorted(size_clusters)\n",
    "        median_element = int(len(size_clusters) * percentile) + 1\n",
    "        if len(size_clusters) < 5:\n",
    "            limit = 10\n",
    "        else:\n",
    "            limit = size_clusters[median_element]\n",
    "        return limit\n",
    "\n",
    "    '''\n",
    "    Инициализация кластеров\n",
    "    Input parametres:\n",
    "    data -- слайс с транзакциями\n",
    "    isPrint -- нужно ли печатать информацию о ходе выполнения (0 -- не нужно, если > 0 -- печатаем каждый isPrint раз)\n",
    "    repulsion -- вещественное число, обозначающие отталкивание кластеров в смысле CLOPE\n",
    "    isSaveHistory -- флаг, выставляемый при необходимости записи истории количества транзакций\n",
    "    isNoiseReduction -- подавление шума (порог соответствует числу элементов в кластере, при котором он уничтожается).\n",
    "                        Если isNoiseReduction == -1, то порог выбирается адаптивно (всё то, что больше медианы\n",
    "                        остаётся)\n",
    "    '''\n",
    "    def init_clusters(self, data, repulsion=2, is_noise_reduction=-1, noise_median_threshold=0.75,\n",
    "                      max_count_clusters=None):\n",
    "        index = 0\n",
    "        keys = sorted(data.keys())\n",
    "        np.random.seed(self.random_seed)\n",
    "        np.random.shuffle(keys)\n",
    "        for item in keys:\n",
    "            self.move_transaction(data[item], item, repulsion, max_count_clusters)\n",
    "            index += 1\n",
    "            if self.print_step > 0 and index % self.print_step == 0:\n",
    "                print(\"Итерация: \", self.iteration, \". Номер шага\", index, \". Число кластеров: \", len(self.clusters))\n",
    "\n",
    "        # Получаем оптимальный порог шума\n",
    "        if is_noise_reduction < 0:\n",
    "            is_noise_reduction = self.get_noise_limit(noise_median_threshold)\n",
    "        # Удаляем все шумовые кластеры (после инициализации не бывает пустых классов, поэтому знак строго больше)\n",
    "        if is_noise_reduction > 0:\n",
    "            self.noise_reduction(is_noise_reduction)\n",
    "\n",
    "        self.iteration = 1\n",
    "\n",
    "    '''\n",
    "    Выполнение алгоритма. Выполнение следующего шага\n",
    "    Input parametres:\n",
    "    data -- слайс с транзакциями\n",
    "    isPrint -- нужно ли печатать информацию о ходе выполнения (0 -- не нужно, если > 0 -- печатаем каждый isPrint раз)\n",
    "    repulsion -- вещественное число, обозначающие отталкивание кластеров в смысле CLOPE\n",
    "    isSaveHistory -- флаг, выставляемый при необходимости записи истории количества транзакций\n",
    "    isNoiseReduction -- подавление шума (порог соответствует числу элементов в кластере, при котором он уничтожается).\n",
    "                        Если isNoiseReduction == -1, то порог выбирается адаптивно (всё то, что больше медианы\n",
    "                        остаётся)\n",
    "    Returned parameter:\n",
    "    Возвращается число операций по перенесению транзакции из кластера в кластер\n",
    "    '''\n",
    "    def next_step(self, data, repulsion=2, is_noise_reduction=-1, noise_median_threshold=0.75, max_count_clusters=None):\n",
    "\n",
    "        # Удаляем все пустые (или шумовые, если isNoiseReduction > 0) кластеры\n",
    "        if is_noise_reduction < 0:\n",
    "            is_noise_reduction = self.get_noise_limit(noise_median_threshold)\n",
    "        self.noise_reduction(is_noise_reduction)\n",
    "\n",
    "        index = 0\n",
    "        # Количество транзакций, которые были переложены\n",
    "        eps = 0\n",
    "        keys = sorted(data.keys())\n",
    "        np.random.seed(self.random_seed)\n",
    "        np.random.shuffle(keys)\n",
    "        for id in keys:\n",
    "            # Смотрим, где данная транзакция лежит сейчас\n",
    "            cluster_number = self.transaction[id]\n",
    "            transaction = data[id]\n",
    "            # Если транзакция относится к шумовому кластеру, то не пытаемся её поменять\n",
    "            if cluster_number in self.noise_clusters:\n",
    "                eps += 0\n",
    "            else:\n",
    "                # Извлекаем транзакцию из текущего кластера\n",
    "                self.clusters[cluster_number].remove_transaction(transaction)\n",
    "                # Рассматриваем транзакцию как вновь пришедшую и добавляем в тот кластер, где значение целевой\n",
    "                # функции доставит максимум\n",
    "                eps += int(\n",
    "                    self.move_transaction(transaction, id, repulsion, max_count_clusters)\n",
    "                    !=\n",
    "                    cluster_number\n",
    "                )\n",
    "\n",
    "            index += 1\n",
    "            if self.print_step is not None and self.print_step > 0 and index % self.print_step == 0:\n",
    "                print(\"Итерация: \", self.iteration, \". Номер шага\", index, \". Число кластеров: \", len(self.clusters))\n",
    "        self.iteration += 1\n",
    "\n",
    "        self.noise_reduction(is_noise_reduction)\n",
    "        return eps\n",
    "\n",
    "    '''\n",
    "    Рисуем график, демонстрирующий количество транзакций в различных классах\n",
    "    '''\n",
    "    def print_history_count(self, repulsion, seed):\n",
    "        # Длина всех векторов с историями одинакова. В связи с этим, берём длину первого\n",
    "        len_history = len(list(self.clusters.values())[0].history_count_transact)\n",
    "        for index_cluster in self.clusters:\n",
    "            item_cluster = self.clusters[index_cluster]\n",
    "            x = np.array(range(0, len_history))\n",
    "            if len(item_cluster.history_count_transact) != 0:\n",
    "                y = item_cluster.history_count_transact\n",
    "            else:\n",
    "                y = np.array(range(0, len_history))\n",
    "            plt.plot(x, y)\n",
    "        plt.xlabel(u\"Номер итерации\")\n",
    "        plt.ylabel(u\"Количество транзакций\")\n",
    "        plt.title(u\"Количество транзакций в различных кластерах. \\nКоличество кластеров: \"+str(len(self.clusters))+\n",
    "                  u\".\\n Отталкивание: \"+str(repulsion)+\". Seed: \"+str(seed))\n",
    "        plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Рассчитывается изменение G, которое получит целевая функция при добавлении транзакции к кластеру clusterNumber:"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# CLOPE. Примеры решения задач"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Рассмотрим 2 задачи:\n",
    "\n",
    "1. Кластеризация видов грибов. [Открытый датасет](http://archive.ics.uci.edu/ml/index.php)\n",
    "2. Кластеризация логов из [вот этого места](http://www.almhuette-raith.at/apache-log/access.log)\n",
    "\n",
    "### Кластеризация грибов на съедобные и несъедобные\n",
    "\n",
    "Данные представляют собой *8124* примера. Каждый пример состоит из 23 признака, каждый из которых кодируется буквой. В качестве примера приведём первые 7 строк:\n",
    "\n",
    "    p,x,s,n,t,p,f,c,n,k,e,e,s,s,w,w,p,w,o,p,k,s,u\n",
    "    e,x,s,y,t,a,f,c,b,k,e,c,s,s,w,w,p,w,o,p,n,n,g\n",
    "    e,b,s,w,t,l,f,c,b,n,e,c,s,s,w,w,p,w,o,p,n,n,m\n",
    "    p,x,y,w,t,p,f,c,n,n,e,e,s,s,w,w,p,w,o,p,k,s,u\n",
    "    e,x,s,g,f,n,f,w,b,k,t,e,s,s,w,w,p,w,o,e,n,a,g\n",
    "    e,x,y,y,t,a,f,c,b,n,e,c,s,s,w,w,p,w,o,p,k,n,g\n",
    "    e,b,s,w,t,a,f,c,b,g,e,c,s,s,w,w,p,w,o,p,k,n,m\n",
    "    \n",
    "Первый признак являет собой метку о съедобности или несъедобности грибов и представляет наиболее важную характеристику. Поэтому во время кластеризации использовать её не будем и рассмотрим лишь остальные 22 признака.\n",
    "\n",
    "Так как каждый столбец являет собой букву, которые могут встречаться в других признаках, их нужно перенумеровать. Сделаем это так:\n",
    "\n",
    "    x0,s1,n2,t3,p4,f5,c6,n7,k8,e9,e10,s11,s12,w13,w14,p15,w16,o17,p18,k19,s20,u21\n",
    "\n",
    "Для некоторых признаков существуют пропуски, которые обозначены `?`. Поэтому эти данные нужно выкинуть:\n",
    "\n",
    "    x0,y1,b2,t3,n4,f5,c6,b7,e8,e9,  ?  ,s11,s12,e13,w14,p15,w16,t17,e18,w19,c20,w21\n",
    "    \n",
    "Получим:\n",
    "\n",
    "    x0,y1,b2,t3,n4,f5,c6,b7,e8,e9,      s11,s12,e13,w14,p15,w16,t17,e18,w19,c20,w21\n",
    "\n",
    "Важно отметить, что **вопрос наличия пропусков никак не влияет на алгоритм**. Это очень важный аспект. Наша транзакция станет меньше на 1 объект.\n",
    "\n",
    "Представим код, подготавливающий данные и выполняющий кластеризацию. Затем подведём результаты:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "f = open('agaricus-lepiota.data.txt', 'r')\n",
    "# Разделяем данные\n",
    "mushroomsStart = [item.replace('\\n', '').split(',') for item in f.readlines()]\n",
    "seed = 40\n",
    "np.random.seed(seed)\n",
    "np.random.shuffle(mushroomsStart)\n",
    "mushrooms = {}\n",
    "miss_count = 0\n",
    "# Чистим данные\n",
    "for exampleIndex in range(0, len(mushroomsStart)):\n",
    "    for index in range(0, len(mushroomsStart[exampleIndex])):\n",
    "        # Первый столбец -- признак (съедобные (e) или нет(p)). Данный столбец является целым классом. По этому столбцу\n",
    "        # проверяется качество тестирования\n",
    "        if index != 0:\n",
    "            if mushroomsStart[exampleIndex][index] != '?':\n",
    "                mushrooms[exampleIndex][index - 1] = mushroomsStart[exampleIndex][index] + str(index-1)\n",
    "            else:\n",
    "                print('Пропущен объект. Номер транзакции:', exampleIndex, '. Номер объекта:', index)\n",
    "                miss_count += 1\n",
    "        else:\n",
    "            mushrooms[exampleIndex] = [''] * 22"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "print('Общее число пропущенных объектов:', miss_count)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "def get_count_clusters(clope):\n",
    "    # Выводим распределение по кластерам съедобных и несъедобных грибов\n",
    "    answ = []\n",
    "    for item in range(0, clope.max_cluster_number):\n",
    "        answ.append({'e': 0, 'p': 0})\n",
    "    for itemTransact in clope.transaction:\n",
    "        cluster = clope.transaction[itemTransact]\n",
    "        if mushroomsStart[itemTransact][0] == 'e':\n",
    "            answ[cluster]['e'] += 1\n",
    "        else:\n",
    "            answ[cluster]['p'] += 1\n",
    "\n",
    "    return pd.DataFrame(answ)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "clope = CLOPE(print_step=1000, is_save_history=True, random_seed=seed)\n",
    "# Начальные данные\n",
    "repulsion = 3\n",
    "noiseLimit = 0\n",
    "# Инициализируем алгоритм\n",
    "clope.init_clusters(mushrooms, repulsion, noiseLimit)\n",
    "df = get_count_clusters(clope)\n",
    "df"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "clope.print_history_count(repulsion, seed)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "После первой итерации имеем кластеризацию следующего толка (каждая строка -- отдельный кластер, столбец обозначает признак: *e* (съедобный), *p* (несъедобный)). Распределение представлено выше, в таблице.\n",
    "\n",
    "Как видим, не существует кластеров, в которых одновременно содержится съедобный и несъедобный грибы. Разумеется, это зависит от того, какой параметр отталкивания выбран, но в силу того, что этот параметр один, выбрать его может быть не слишком сложно. Небольшой оптимизацией **GridSearch** можно получить эффективный алгоритм. Этот вопрос обсудим ниже.\n",
    "\n",
    "Проделаем ещё несколько шагов так, чтобы алгоритм сошёлся:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "while clope.next_step(mushrooms, repulsion, noiseLimit) > 0:\n",
    "    clope.print_history_count(repulsion, seed)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Как видим, алгоритм сходится крайне быстро. Через 2 итерации получаем финальную кластеризацию. \n",
    "\n",
    "Заметим, что в первом случае **алгоритм сходится за два прохода**. Т.е. на первом и втором проходах происходит распределение и перераспределение транзакций по кластерам соответственно. На третьем проходе ни одного перемещения между кластерами не происходит. Это говорит о том, что кластеризация закончена. Для иных датасетов, вероятно, алгоритм сходится будет дольше. Но уже после первой итерации будет достигнуто приемлемое качество кластеризации.\n",
    "\n",
    "Одним из признаков, что уже после первой итерации мы получили достаточно качественную кластеризацию, является график. Так, до 8124 итерации (т.е. первый проход по всем транзакциям) размеры кластеров равномерно росли. На второй итерации оказывается, что размеры кластеров практически не меняются, что говорит о том, что происходят лишь незначительные изменения.\n",
    "\n",
    "Изменим параметр отталкивания и посмотрим, что получится:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "clope = CLOPE(print_step=1000, is_save_history=True, random_seed=seed)\n",
    "# Начальные данные\n",
    "repulsion = 2\n",
    "noiseLimit = 0\n",
    "# Инициализируем алгоритм\n",
    "clope.init_clusters(mushrooms, repulsion, noiseLimit)\n",
    "df = get_count_clusters(clope)\n",
    "df"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Как видим, в этом случае появились кластеры, в которых оказались объекты, относящиеся как к съедобным гриба, так и не к съедобным. Так что, если стоит конкретная задача, то параметр $r$ нужно подбирать очень аккуратно. Об это мы ещё поговорим ниже. Позволи алгоритму сойтись до конца и взглянем на финальные кластеры:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "while clope.next_step(mushrooms, repulsion, noiseLimit) > 0:\n",
    "    clope.print_history_count(repulsion, seed)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "df = get_count_clusters(clope)\n",
    "df"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "\n",
    "Внимательный читатель мог обратить внимание на кластеры маленькой размерности. Они являют собой транзакции, которые сильно отличаются от остальных. Это может быть расценено как шум. Об этой замечательной особенности  данного алгоритма: детекции шума, - поговорим ниже.\n",
    "\n",
    "Также, одной из проблем алгоритма является является выбор последовательности обработки транзакций. Или, иными словами: выбор начальной конфигурации алгоритма."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Кластеризация логов\n",
    "\n"
   ]
  },
  {
   "attachments": {
    "_auto_1": {
     "image/png": "iVBORw0KGgoAAAANSUhEUgAAAQcAAACpCAYAAAAmyviNAAAVjElEQVR4Ae2dC4wUVbrHv2YYZoaH7jCA3pnZXUBBkccIgzqsurpAzMW9g4lCiKMiN4srWRBEWDGasKhBHXYhPHyswhjBMCxR7zJidL1Z5HW9C4QYWR6DyKBXEPABGEYcYYC++Rd7pqvpruqq7qruevxP0unqU6dOnfOr0/863/nOqYpEo9GouBwikYhk4TQu14LZk0C4CLQLV3VZWxIgAasEKA5WSTEdCYSMAMUhZBec1SUBqwQoDlZJMR0JhIwAxSFkF5zVJQGrBCgOVkkxHQmEjADFIWQXnNUlAasEKA5WSTEdCYSMAMUhZBec1SUBqwQoDlZJMR0JhIwAxSFkF5zVJQGrBCgOVkkxHQmEjADFIWQXnNUlAasEKA5WSTEdCYSMAMUhZBec1SUBqwTaW03IdN4lcNeCf8rmvSdMC/hxbZWUFheYpuFOEtATiPBhL3oc/tze+cX3cuJUq1b45pZz8p9/3i3jf/lvMrqye1uFqvpcKh3as6PYBoQbKQmw55ASkfcTDPxZ57ZCHv/+gkj07lEkv+xX3BbPDRKwS4C3ErvEmJ4EQkKA4hCSC81qkoBdAhQHu8SYngRCQoDiEJILzWqSgF0CFAe7xJieBEJCgOIQkguNavaf+Q95+e+HQlRjVjUTAhSHTOj57NjfV/9chvX9ic9KzeI6RuDjj0UiEZG//MVSlhQHS5iCkWjCLaUySDcnIhi1Yi1k5MgLf3r88Y0+hw6JlJSI/OY3IldcYQkaJ0FZwhSMRDArpv77T+XBkeXBqBBrcYHAH/8ocuzYhe2TJ0Xuukvkt78VGTs2Rqh7d5GCApFly2JxKbYoDikA+W1318758vUrt/it2CxvJgQGD44d/e23F7b79BGtRxHbY3uLZoVtZDyABHxKYP/+C2aHxd4DxcGn15nFJgG3CVAc3CbM/EnApwQ45uCjC7d+/Xr55JNPpLCwUCorK2XgwIE+Kj2L6jcCFAcfXLE333xTHvn9Y3K2fRc526WntDt/RlqPzpYhFf3lxecXSx8MPjGQgMMEKA4OA3U6uxUrVsjkaTMlb9ij0qH8Oi378yKSJyL/+OdqGXbzr2Tb/26S3r17O31q5hdyAhQHDzeAEydOyKTfTZaCEbWSf1n/hJJ2HDROWqLnZNr0GbK24a8J+y+O2P2nYRdH8TcJGBLggKQhmtzvWLlypXTvNzypMKjSFVXUyIaNm+Wzzz5TUfwmAUcIUBwcwehOJtu2fyQnOl6VMvNOZQPkY8ybZyABBwnQrHAQptNZnT7TKtLOwiWK5MnZs2edPj3z8yOBbt1EotHkJW9puRDfqVPy/RfFsudwERAv/RxSMUAix/elLFLrt/ulX79+KdMxQYgJrFkj8oc/iLRrJ1JZaQkExcESptwkGjt2rLTsfUfONR81LMCP+/4mV/b6qQwYMMAwDXeQgEyYILJtm8jzz4v07WsJiIU+q6V8mMgFAl27dpVf3XqLbPr749JxxNOSd0lZ3FlOf7ZJmjfWyoL/2RwXzx8kkEDgu+8SolJFUBxSEcrR/q1bt8pLL70kBQUF0rtHoexZfY90HfgfcqZzL4mcOy0/+aFRik4dkTf/+3258cYbc1RKnjabBLZs2SKYJfvVF19Iaa9eMnLkSBkyZIhrReAbr1xDm37Gr7/+urzxxhtxGUydOlX27dsnexr3SqeORTJ06FCB2cEQfAInT56UiePHy47Nm2V0S4uUt7TI5x07yl87dJBbf/1rqVu+XPLyMC3O2UBxcJZnRrkdPnxY6y3s2LEjLp+Kigp5+umn4+L4IzwEbq2slBsaG6VWeRt0VZ/SubP839Chsnb9el2sM5sckHSGY8a5bNiwQaZPny4XCwMyrq6uzjh/ZuBPAs8995yUNjUlFQbU6Pnvv5fze/dqNxWna8ieg9NE08jvlVdekXfeeSfpkVdffbXMmzcv6T5GBp/AwCuvlKVNTVJlUtW/icjcykrZvH27SSr7uzggaZ+ZY0c0NTVpio+xBKPAXoMRmeDHnz59WvYcOGAqDKDwCxHZuWeP40AoDo4jtZbhRx99JM8++6ygARgFrLS8+eabjXYzPuAEsPAOcx3xiZjUFXNj8zC5yeFAcXAYqNXs4IKqra2VBQsWaIumko02s9dglaa/0x06dEiSfX744Qfp3rmzfNDcLCNMqrhBMOnR2qxHk2wSdqU15jBr1qw4OxgF225i70QiEYkazfdOKFK4Inbv3i133323HD9+XOCVUCJRXl4uL774YrhghKC2Gzdu1ITg4MGDbYJw/jye0JE8fP7559Jl/375MImnQh1xY48e8rsFC+See+5RUY58p9VzOHLkiMyePVseeOABrRAdOnRwpDBhy+TUqVOydOlS6dmzp0BAsXhKiQN7DcFsDfjvrF692nLl7r33Xtmybp2M37ZNFn33nRTrjjwiIlOKi+Wq4cMdFwacJi1DBf74/v37C+5u+PTo0UNXZG5aJfDMM8/IgQMHtOSPPfaYTJ48WdsGz1GjRlnNhul8ROC2226zXNr7779fHn30Ufmv99+XkgkTpCw/X8YWF8v0wkK5s7hYyiMRuWrSJHl11SrLedpJmJZZAWHo1q2bfPrpp3LNNdfIyy+/LFeYvGKLZkXiJVm0aJGsW7dO2zF8+HB5+OGHtW1Mmz569KjccccdiQcxxvcEcDOYOXOmZlJcfvnlSeuDmwNuFIP1L6sREdyUMR/mq6++ktLSUhkxYoT2P0yaiQORaYkDhGDGjBnanP6nnnpKa8wffvhhXHGefPJJmTNnTlscxxzaUGiiAHFA6NWrl6AH0cniGvtYLtzyE4EPPvhAu+47d+6U5uZmaWxslOuvvz6hClVVVTJlyhS55JJLEvZlOyItcdAXEr56PP0Y9nNRUZF+V9s2ew5tKASN44knntAiOnbsKHV1dRSGGJ5AbeE/8fbbb2ui8PXXX8fVrbW1VfLz8+PiMKA4bty4uLhc/rA9IIlKwf0GWwh/erxDAb0CsxHXXFbQS+dGlxK9BAQIA3sMXro6zpUF13nt2rVtZqPKGdcc5iLMgV27dsnChQu1XcXFxVpv4brrLjxdXKXP9bdtcYDaLVmyRMrKymTMmDEyf/58QVeI3WLzS4m7yOLFi7UeFlLC08PHyZsz89tevemgLztMx9GjR2uioOIxzoTXDqANYHyhpKRE7fLMt21xQMlXrVqlKd2kSZO0QZPXXnvNMxXyakEwxqA8E5jXgLsHg/8JmJkOEABcZ6M3k8FzUVNT41kIGY85WKlZ2MccMJcB3UyEG264oW3MwQo7pvEmASumg99d/Gn1HLx5ubxZKrgrlTCge6lclt4sLUuVigBMBwwyql6gSp/MdFD7/PpNcXDxyqEBKZclBqPgpeDYjIvAXcoangaIPEQBZoQ+pDId9Gn9tk1xcOmKoUEplyVOAc+E37uZLqHybLZwO6tBRn0h9V6HIF9TioP+qju0jbsLxEDdZaZNm0bPhENss5FNmEwHM54UBzM6ae7TeyawgIqeiTRBZvGwVKYDXJFhcz1THBxugPBM4BHiCPBMqJWrDp+G2TlEwMh0gLkAUYcohHWciOLgUCNDNvRMOAjT5ayMTAe8OQyiwN6eCMXBoUZIz4RDIF3MhqaDPbgUB3u8kqamZyIpFs9EwnTAXBNl7qmC0XRQJJJ/UxySc7EcS8+EZVRZTYjrgmdj1NfXC8RbH2g66GkYb1McjNlY2kPPhCVMWUsEIVDLpJUrWZ0cE5bC6HVQ9bf7TXGwS0yXHgvQVFcVdyN6JnRwsrxJ08F54BSHNJnCMwFxQMC8ev1syDSz5GE2CaQyHdBLwOMEGNIjQHFIgxs8E8uWLdOOxFRazIAMqy88DXwZH2JkOuBaQAywDDrI05ozBmgxAy7ZtghKJcPdauLEiW1To+fOnWu4Xl8dw29nCJiZDuglYG4CRdoZ1siFPQcbLCEMMB/UQBd6DEYP8rCRLZOaEKDpYALH5V0UBxuAYUqodfxqqa6Nw5nUBgGYDmrAV4kxDqfpYANihkkpDhYBoqFiEBIBngk+tMUiOJvJMDcBrkiYEPqAMQSaDnoi7m9THCwwpmfCAqQMkqBngLUODQ0NSScs0euQAdwMDqU4pIBHz0QKQBnspumQAbwsHEpvhQlk3NHomTABlOYuM9MBT+bmqw7SBOvwYew5GACFMNAzYQAnjWgz0wHPvYDpQM9PGmBdPITiYACXngkDMDajzUwHzEvAG6A4Yckm1CwlpzgkAa0W7mAXPRNJAFmIoulgAZLHk1AcLrpAWEilpkbjjsY1ExcBMvkJ00EJK3oM+kDTQU/DH9sUB911uvhpTo8//jin4+r4GG2Cm9GLY2k6GFHzfjzF4V/XCHc9/ePkMckpbE8btttc1Tsdkk1YotfBLk3vpac4/OuawHxQXWG4L7nUN3ljpemQnEsQYykOItor6/RrJuBWY4gnYGY6wOMA84Feh3hmfv8VenFQA2i4kHzRbWJzNjIdgvji2MTahzsm1OJwsWcCYw4Moi1JV6KpTC3FRa1G5YQlRSS436EVB3omEhs1TYdEJmGOCaU40DMR3+SN3v5E0yGeU9h+hVIc6JkQzTODpegwHyCW+kDTQU8jvNuhEwf9eybUewzCdPkxJ0ENMurrjScs0eugJ8LtUImDGmTDZQ+bZ8LIdODbnygCRgRCIw64Y6o1E7hLhsEzAU+DmemA+RycBWr012B8KMQBo/BKDJQwBPkR5kamAyYpYbISRCHI9eff2hkCgRcHDLYtXry4bdANr6wL6t2SpoMzfwrmcoFA4MUBPQb0HBCwGAh3ziAFmg5BupreqkugxQGeCbViEJ4JiENQAuqFZdLqRb6qXjQdFAl+Z0ogsOKAgTh8EOCZCMIbsGEi4QlL9fX1bStIVQOg10GR4LdTBAL59GncVdUTnDAAWVdX5+sBOJgOyg2bbMISvQ5O/R2Yj55A4HoOQfJMmJkOEASMn9DroG/O3HaSQKDEIQieiVSmA0SBD6Jx8i/AvIwIBEoc/OyZMDIdYBZBDGpqavgwFaNWzHhXCARGHPzqmaDp4Eq7ZqYOEAiEOPjNM0HTwYGWyyxcJ+B7bwUGIPGkaASveyZgOqxatUqbm6D3OtB0cL2d8wRpEPB1zwF/NuWyRN0x5uDF0Xuztz/R65BGq+UhWSHgW3HAnRdioO7A06ZN89SaCZQLax0aGhqSTlii1yEr7ZsnyYCAb8VB/9CW6upqz6yZMDMdMC+BL47NoLXy0KwS8KU4LF26tG1NAd7B6IWp0WamA9/+lNU2zZM5RMB34gDPBBYcIeT6aU5mpgNfHOtQC2U2OSPgK3GAZwLmBAJG+DEYmYsBSJoOOWuvPHEWCfhGHJJ5JrL9+jWaDllsmTxVzgn4Qhxy6ZnAudWKSAiUPtB00NPgdtAI+EIccuGZgAmDsQ31TAh14WHO0OugaPA7yAQ8Lw7Z9kyodzpgzYM+wISh10FPhNtBJ+BpcciWZ8LMdODbn4L+F2D9jAh4Vhyy4ZkwMx349iejJsP4sBDwpDjgTq5fM4FtJz0TRqYDXxwblmbPeloh4DlxUMKAbwSsmRg4cKCVupimoelgioc7SSCBgOfEAa+sQ3cfQdn7CaW2EYGBRdVT0B8GrwNNBz0RbpNAPAFPiQOedaBch3jUunpOQ3yRrf2CIGB+ghIadRRNB0WC3yRgTsAz4gBRgDgg4A+sH3Mwr0JsLyYpIR+IgjJL1F7VC3HCRFF58psEgkzAE+KAu7v+DdgYZ7CzZoKmQ5CbKOuWKwI5f0wc7vATJ05su9PPnTvX8gCkkenAtz/lqjnxvEEikNOeA4QB5oMyAax4JlKZDnjCUlDfoh2khse6eJ9ATsXBjmfCyHTgi2O938hYQn8SyJk4WPVM0HTwZ8Niqf1PICfikMozAdNBLZNWJodCDa8DTQdFg98k4B6BrIuDmWcCpgOWSW/ZsiWuxjQd4nDwBwlkhUBWxQG9AP3j5DEYedlll2kzGOvr65M+wh3PTsCHgQRIILsEsurKxIxHNWNxzJgxcubMGW3SEk2H7F50no0ErBDImjgsXLhQE4Lm5mbt4bB5eXlx5YPpwLc/xSHhDxLIKYGsicOwYcPkyy+/FIgCJimpgG2+/UnR4DcJeIeA62MO7733nlZbmBMFBQXSr18/redQVVUlNTU1jj6nwTtYWRIS8D+BiIhE/V8N1oAESMBpAu2jUXe1AXMW4JF466235M4773S6/KHLLxKJiNvXLExQydP4amdtzIEN2vgi2NnDxmyHVuq05GnMqJ3xLu7xIoE5c+Z4sVi+LRN5Gl869hyM2XAPCYSaAHsOob78rDwJGBOgOBiz4Z6AEjh58qTs2rUroLVzrlppicP27dulsrJSLr30Uqmurk5YE+Fc8ZiTnsCsWbMEA2jqM3ToUP1ublsg0LdvX63dXnvttQmply9frj2/tHv37vLII4/I2bNnE9KEKcK2OGA9BFySWCdx+PBhKS0tlYceeihMzHJW1yNHjsjs2bPl4MGD2ufdd9/NWVn8euJ9+/ZJY2NjQvF3794t06dPlzVr1siePXtk48aNgve0hjnYFgf0Gs6dOyf33Xef9hDYGTNmaM9eoKvS/WYEMe7fv7+Ul5drHyffAuZ+6b19hoaGBhk1apRUVFQIeg4PPvigJhTeLrW7pbMtDmiggKcCGuiPP/4ox44dU1H8dokAeg4vvPCC1lsbOXKkNDU1uXSm8GWbrF1jLVCYg21xMLLDjOLDDNfpukOEx40bJ1ivgvGe8ePHO32K0OaXrP0miwsTINsLr9q3T36IUXyYYLpdV31PYd68edKnTx9paWmRoqIit08d+PyTtd9kcYEHoaug7Z4DBiCxXkKFb775RgoLC6WkpERF8dsFAq2trVJbW9u2rgLMMc5z/vx5F84WviyTteuysrLwgdDV2LY4wIWJZzKsWLFCu2stWrRIc2fCvcbgHoH8/HxZsmSJrFy5UhvjmT9/vmDZu503g7lXOv/njGeKwFzbsWOHNn5WV1envWjZ/zXLoAbRNMLWrVujgwcPjnbp0iV6++23R48ePWqaC5aFM2ROYNOmTdFBgwZFO3XqFL3pppuie/fuzTzTEObQ2NgYzcvLS6j5q6++Gu3Zs2e0pKQkOnXq1OiZM2cS0oQpgmsrMhBWHkoCQSZg26wIMgzWjQRIIEaA4hBjwS0SIAEdAYqDDgY3SYAEYgQoDjEW3CIBEtARoDjoYHCTBEggRoDiEGPBLRIgAR0BioMOBjdJgARiBCgOMRbcIgES0BGgOOhgcJMESCBGgOIQY8EtEiABHQGKgw4GN0mABGIEKA4xFtwiARLQEaA46GBwkwRIIEaA4hBjwS0SIAEdgf8H6p7Wu2/+0VQAAAAASUVORK5CYII="
    },
    "_auto_2": {
     "image/png": "iVBORw0KGgoAAAANSUhEUgAAANEAAADoCAYAAABxTwGKAAAUA0lEQVR4Ae2dUWwTV5fHT2gi+6GSvWol+y3pS519aBOpEs73sjYPhTx9sPsA2a0EPEF4KWi1KvmeqNStYB8Q6UpRWK3Y0IcV2a0QVAU1rISSrlDJJ5WGRamSApKDhORECo0/FITTGM7qmoxnPJ47c+/EE9vjvyXkO/eeOffc35m/Zzw5jDvW1taYPF7FYpGi0aiH1Zth5jfuOjo6msJeBIH45akIOl/twL+DDYpyzlQoFCgej7tYmEOvXr0qb7z11ltmp0sraHsxNeKXJwD85WyMEa/jZ5dhiHcQAAF/BCAif9ywFwhUCEBEFRRogIA/AhCRP27YCwQqBCCiCgo0QMAfAYjIHzfsBQIVAhBRBQUaIOCPAETkjxv2AoEKAYioggINEPBHoNP4i7Xb7q9fvyYVO+FD1c6YL2h7MQ/iN2jXvoN/LRN7j9fxgzORnRi2QUCTQKdKjduuXbtIxc46dzPZI35rZpzbQeYr7PxxJnI+ptALAsoEICJlVDAEAWcCEJEzF/SCgDIBiEgZFQxBwJkAROTMBb0goEwAIlJGBUMQcCYAETlzQS8IKBOAiJRRwRAEnAlARM5c0AsCygRQO2dDFXQtma5/EZ5X7ZZ1Cbr+g7Zvh/g7rQmQtR89ekTLy8uy4ap+kXDxEqUeKi/DPplM0u7du1V2gQ0INBUBpdq5q1ev0ldffUXvvPNOIME/f/6cstks3bhxQ9m/Tq1X2Gu3nKDp8BH7B2kfdv5KZyIB+eOPP9Y6yJ0SK+s7c+YM3bt3TzaMfhBoagJq11xNvQQEBwKNJQARNZY/Zg8BAYgoBEnEEhpLACJqLH/MHgICEFEIkoglNJYARNRY/pg9BAQgohAkEUtoLAGIqLH8MXsICCjVzin8mN62UYg5VOq4VGzswaD2zE7E3NblqWsvZgo7f5yJzOMJLRDwRUCpdk71R4x9RbC1k5hDp35LxzbstVtO3HX4iP2DtA87f5yJnI5A9IGABgGISAMWTEHAiQBE5EQFfSCgQQAi0oAFUxBwIgAROVFBHwhoEICINGDBFAScCEBETlTQBwIaBCAiDVgwBQEnAhCRExX0gYAGAYhIAxZMQcCJQGehUHDqr+orlUpV20FsbG5ukkosRjGsTilSsVhU8i3Wpes/aHsRE+KXH3HNwL8zHo/LI9wa6exUfrKWpy+ZQVdXF6nEYlQR69R6CXGq+Bax6foP2l7EhPhlR03w+VLhj8s5eX4wAgJKBCAiJUwwAgE5AYhIzgYjIKBEACJSwgQjEJATgIjkbDACAkoEICIlTDACATkBiEjOBiMgoEQAIlLCBCMQkBOAiORsMAICSgTw3DkbJqMCwdYt3QzaXkwc9ue2WeEGzVPXvwr/4Ot5rIQk7dXVVVpZWVH6JT7jN17FY5hUXy9evKD33nsPvwmrCgx2WgSa4rlz8/Pz9ODBAzpx4oRW8KrGQf8mrIhDp5ZP1z7sz21zymOQPOvNvynORGJRe/bsoVu3bjnx3HYffhN22wjhwIWA+jWRixMMgUA7E4CI2jn7WHtdCEBEdcEIJ+1MACJq5+xj7XUhABHVBSOctDMBiKids4+114UARFQXjHDSzgQgonbOPtZeFwJNUztXl9W4OBGPVlKpm1KxsU4TtL2YC7VzVuLV7WbgjzNRdU6wBQLaBJqidk47ah87BPmbsCKcIGu9UDvnnfBG8seZyDs/sAABVwIQkSseDIKANwGIyJsRLEDAlQBE5IoHgyDgTQAi8mYECxBwJQARueLBIAh4E4CIvBnBAgRcCUBErngwCALeBCAib0awAAFXAqids+EJuhZL178ID7VztiRZNnV56tqr8MeZyJIQNEHADwHUzkmoBVmLJabU8Y/aOUmSLN06POvNH2ciSyLQBAE/BCAiP9SwDwhYCEBEFhhogoAfAhCRH2rYBwQsBCAiCww0QcAPAYjIDzXsAwIWAhCRBQaaIOCHAETkhxr2AQELAYjIAgNNEPBDACLyQw37gICFQGehULBsOjdLpZLzQAv1bm5ukspaxUMexUs8YkvlFbS9iKFYLCrFLmyDjkfXfzvE3xmPxz2Plc7OpvlVSs9YZQZdXV2kslajyle1Fitoe7EeIX6V2IVt0PHo+m+H+HE5J1Md+kFAkQBEpAgKZiAgIwARycigHwQUCUBEiqBgBgIyAhCRjAz6QUCRAESkCApmICAjABHJyKAfBBQJQESKoGAGAjICEJGMDPpBQJEAnjtnA2X8Rd7WLd0M2l5MjOfOSfFXKjTkFtUjuvlS4Y8zUTVjbIGANgE8d06CTLV2ztg9SHs8d86gLH9vJH+cieR5wQgIKBGAiJQwwQgE5AQgIjkbjICAEgGISAkTjEBATgAikrPBCAgoEYCIlDDBCATkBCAiORuMgIASAYhICROMQEBOACKSs8EICCgRQO2cDZNubVXQ9iI81M7ZkmTZbAb+rf8sLAtQWXN1dZVWVlboxo0bMpNKvzhgxUuU2qi8DPtkMkm7d+9W2QU2ISPQFrVz8/Pz9ODBAzpx4kQg6Xv+/Dlls1klkRoB6NR6oXbOoCZ/1+EpvOjYe/FvizORgLZnzx66deuWPAvbGDlz5gzdu3dvGx6waysTULtmaeUVInYQCJgARBQwYLgPPwGIKPw5xgoDJgARBQwY7sNPACIKf46xwoAJQEQBA4b78BOAiMKfY6wwYAIQUcCA4T78BNqmdi7oVIqfYVSp41KxsceK2jk7EXNbl6euvZjJi3/bVCyY2OvfCrI2T0T76NGj8m+xvv/++57BG7V8qP3zRFU3g7aonasbLYmjoGvzhEjF691335VEsL1u1P6580PtnDufuo0GWZuXyWQoGo2i9q9u2aqvI9xYqC9PeGtDAhBRGyYdS64vAdxYqC/PlvSWy+Xo4cOHJP5Lh9dL3IUUr46ODi/Tyvivv/5Kv//+O33wwQeVPllD17+wF/G/ePEiEP8izmKxSB9++CF98sknjmFDRI5Y2qvzyZMn9Ntvv9HPP/8cyMJ//PHHsug2Nzdb0r/4EPjll18gokCyFyKnH330EX333XeBrMi4MdKq/r3+0yW+EwVy2MBpOxGAiNop21hrIAQgokCwwmk7EYCI2inbWGsgBDoLhYKn41Kp5GkDAxAIMwFxZ1Gmlc54PO659s5O3An3hASDUBPo6uoimVZwORfq1GNxO0EAItoJypgj1AQgolCnF4vbCQIQ0U5QxhyhJgARhTq9WNxOEICIdoIy5gg1AYgo1OnF4naCAES0E5QxR6gJQEShTi8WtxME8Ny5naCMOVqegNtzBXEmavn0YgGNJoDnzjU6A5i/JQiIZ0rIfucVZ6KWSCGCbGYCEFEzZwextQQBiKgl0oQgm5kARNTM2UFsLUEAImqJNCHIZiYAETVzdhBbSxCAiFoiTQiymQlARM2cHcTWEgQgopZIE4JsZgKonWvm7CC2piGA2rmmSQUCCSMB1M6FMatYU90JoHau7kjhEARMArixYLJACwR8EYCIfGHDTiBgEoCITBZogYAvAhCRL2zYCQRMAhCRyQItEPBFACLyhQ07gYBJACIyWaAFAr4IQES+sGEnEDAJoHbOZIEWCEgJoHZOigYDILB9Aqid2z5DeGgDAqida4MkY4mNI4AbC41jj5lDQgAiCkkisYzGEYCIGsceM4eEAEQUkkRiGY0jABE1jj1mDgkBiCgkicQyGkcAImoce8wcEgIQUUgSiWU0jgBE1Dj2mDkkBDoLhYLnUkqlEq2srNCNGzc8bf0YPHv2jLq6uuBfAg98JGC2uoPm8/DhQ9rc3CSZVjpYlKd6vL744gsaHx/3sPI/vL6+Xt757bff9u/EZU/4d4FDRODjzkdIZO/evfT11187GiqJSCgwHo87OrB3vnr1qtwl+5HYnbYX8yF+O3VzO+h8tQN/fCcyjye0QMAXAYjIFzbsBAImAYjIZIEWCPgiABH5woadQMAkABGZLNACAV8EICJf2LATCJgEghPR8hSNDPZStKODOjqSNDB8mRaL5sT1aBVmR+lAsoM6+i/SUj0cWnwUFydpONuzFX+ceg+co5lli8E2myL2oQGr/xGaqqN/M7wCzRxNUkdHlq57/13d3M2tVZylYcG9nFvzPTo4RfVL8TJNjQxSb1T4j1JyYJgml+rjvfjD323l1Yz9zVr66bKPHAQkoiW6eOAAXaRhmsrlKT83Sv0zwzQ4Mls3yIujg9R74DpFe2Nu6fY3VpylkcG/p+vxUzS1kKfc3EXKLv6JBo9Okg/GtTEs/xcNDY7Q4sA5ms0J/5dpcOlf6MDQ5fr4t8xYnP2chidXLD31aG5QoRij/dcWKJ/PV/4tTWYpWg/3RLQ4eoCGridpZCZH+dwMneuZoZFT1+vCJ5r5D1qyxJ3P5+juhTTF+oZoQO3PodWrLJVK7PXv2bNn1TZPL3E6kuJPxz7jvX3dnIhFONZ3kC/Nr/PGxgZvPPgnTkX6eOyx6Xv15h85FjvIt9fNPjFv2X5jQ8//xl/4p7Exvr26zvNfppj6xvixyzq043/yDR87eIyvPjVjXf3PNFPsMN+pR/xP/ocvjV3lxxZfTy+lmRLHavwLRtrxGzzXf+LP+hK897NjnIpk+OqquR4j5774r3zDmUg3f/rTenXeJDnQjv8v/8uHEwk+fNvbv6/4DT5GvKtX+WAixZ/ecZ6vJn5jv613MmC6vdc4ESIi4ljmPM+XD4RVvnk4wdT3JT/Y2OCVb/6GI/YD4vF57ouk+Mv56kRKIbj4F/sY8foWkaJ/6zyRvvM1Yt1u/ML/+uOb/Fk6wonDt3nVliAxrsvf4DN/Ps2JzBjP//Slvojc+Dz5d05TjDMH93IqEeFIrJvTh8f4joNIfcX/4J85FUnz+bFjnE4QE0W4O/Mp37R8qBl52T7/db5zrJsTB286sneM35YjErVzXq+1tbVqk/wEpynC+66Z/S/njnOC0nzpaYkfj/VxJHWWF6x7rV3hTCTBx+++tPZWxFDV6eFfLMx4LZwVZ6JxzhkdDu+68Vv9C3cv5y5wOtbNR74312tMYyTT2C6/q8a/cJZTJA4S4u5DE7xQjabi0lf8uXHOJNJ8QSRBzBPJsCVdFd++4n88xplEN2dOTvD03ALPTY/zoW7iSGaC8xXPZkM3/vU7hzlGxIn9F3g6/5Jf5qf5bCbCkXRtnn3Fbzl+ODfO6VgfX3A5gGriN5dWbm3jO1GSenvMK+BovJfitEz/t+zx5c/cpfq6smbLp/8aP7IONf+FmRHKZkcpOTpDFwd1LpgV/PcO09TCHN29doGy94cpO6TzncvN/zJNDn9Oy0cv0nCvbP1e/S7+e47TzPISzYwepWx/L/Vnh+ny5SMU/2GUrivf4XHxvyGOoRSdOneKsskoRZNZOjV6lOJ/vqxxc8fFf2XpRbo/eo4WB0ZoqKfSqd3YhohscxVN8cSTcaLCEhXMLqLCMhUoTr1xZRVVT2DxXz1Qp60a/0VaujxE/QemaGBylq4f7dnel+Ya/yLuOPX09tPAgVN0cXKYot+eo0nlg9C2bov/wrf/SKcWh+jy5/3bi9k6hcW/tdtoR3sGKEkFWqxKujGq8G71H0tSnKJkPVSi8X5KRgq07PcOo9W/EU7xPl2cLNDA8CAljT4f79sQ0RNatNxyLBYWqUBJ6ktGKZ7aSz0rszRruZVVuD9Fi/EBGlCOVu7fxzoddnH3v3z9KGVPLdPwzCyNDioHbZlH7r/w7T9Qb/8wzVo/ZMp71nRY/NmbMv9F+vO//jetPPmK/hCPUjQapY6//hP9uvED/e1fxWlQ+T63zH+Uivf/jYaHL1b9yaK4NEtLlKT+pOqHpNx/tCdDvZElmlo0FVNcnqVl8aGjfDEg92+QFH/GmCr00pCvW3KGF3ExrvCquSYsX/MTx9KneVpcBL9c4Il9Maa+C1tfvB/zeDrCsX0XeDqX5/zcBB/qjnDq9BzbL/vl17Ru/ku8ls9zPp/j6ZPdTKmzfFfMk1+r8S+Wpx3/06u8PxbjfRNznCvPI3w7+/cV/+NLnIkQp45f4TkR98L35Wt+Sp2u/h65lRvd+NdXn27F+ybu3PRJ7o6keWIhz2u2BPiLf4zTkQj3nbzGC/k85+5O8JEUcWz/FY3vRG75XeXpIwmm7iN8ZS7Pa7nv+WSfOJ5q/fuKf+s7Uf5KmiOJ42z7ml6jiBr+Ngv/Iop08/Hxs7w/FSl/MY71HeKJhZfmjYL893x6X4oj4otzRHwJveb45V8Kwc3/+m0+FHvzhVx8Dpj/nL8g1kAQHwIu/tdv//FN3FW+xTx9PGH75uwr/lKJ16bP8qG+xFbs4u7TSb6Wsx3hbiJyiV/EVPXyc2PBw39+WuQ+9ib+SILTR8Z5rva+SzkMXf7l+MUH85E0J8o5iHFq/1m+6+DfL38RWPmmlP0GWBW4Nxs18dtstiWi03O1SXdclG1S66aj/dZBXg//Yq4aCHX0j/it2XRuh46/bZnb+E5kuSZEEwTamABE1MbJx9LrQwDPWLBxDPqZA7r+RXh4RoQtSZZNXZ669ir8lX6z9fXr12RMbonfsalqZ+wctL2YB/EbtGvfwb+Wib3H6/jB5ZydGLZBQJOA0m+27tq1i1QfgWXM30z2iN/Iivw9yHyFnT/ORPLjCiMgoEQAIlLCBCMQkBOAiORsMAICSgQgIiVMMAIBOQGISM4GIyCgRAAiUsIEIxCQE4CI5GwwAgJKBCAiJUwwAgE5AYhIzgYjIKBEALVzNkxB15Lp+hfhedVuWZeg6z9o+3aIH2ci6xGINgj4IIDaOQm0IGvJxJQ6/sNee+aUAh0+ujx17b3440zklEH0gYAGAYhIAxZMQcCJwP8DPMiRqtNIJL4AAAAASUVORK5CYII="
    },
    "_auto_3": {
     "image/png": "iVBORw0KGgoAAAANSUhEUgAAAQAAAAD2CAYAAAA5zlnWAAAYAElEQVR4Ae2dX2wT157HfwYjW0Irz20r2dJ9SNCVGq9WVSJVS7K9DzZateSppPcBsrtSQbtSCVqpoGpVcvcB+rKC3YcSrsQlXYkN92Ev2XuFoCqrhq2qhCu2hFVpKKKKKVQJErd2pND40lCcknBWx/HEx/PHPsfxjCc+35HQzJz5ze/8fp/fzDfj4Rw7xBhj5LCsrKwUWzdv3uxw1N6kas895PN5MgzD7syhRdW/1/aI36FIQhP4CzBcNoNw/W9yiQ3NIAACGhCAAGhQZKQIAm4EIABuZNAOAhoQgABoUGSkCAJuBCAAbmTQDgIaEIAAaFBkpAgCbgQgAG5k0A4CGhCAAGhQZKQIAm4EQgsLC44DgczxQaFQyO3cinZVe35yoVCgaDRa4cdtR9W/1/aI361Sq+3gX51PUK6fEEYCrhZKdeQaPysII7nMywzxmySc16p8vLYPyvWDjwDO1wtaQUALAhAALcqMJEHAmQAEwJkLWkFACwIQAC3KjCRBwJkABMCZC1pBQAsCEAAtyowkQcCZAATAmQtaQUALAhAALcqMJEHAmQAEwJkLWkFACwJhc8STNVu3dqudua9qz8979uwZyZ4na1dvPKr+Eb9J2nmtylPVHvyduZutsjzxBGASwxoENCQQrvWtv7WOW5mp2G/atIlU7HlfQbJH/Nbq2/e9rBf423lbW2rxxxOAlRj2QUAjAhAAjYqNVEHASgACYCWCfRDQiAAEQKNiI1UQsBKAAFiJYB8ENCIAAdCo2EgVBKwEIABWItgHAY0IQAA0KjZSBQErAQiAlQj2QUAjApgLUCq27Nhp8drAXAaRRuW2Kk9Ve94b+FcyF/dkeYbFk/zevnv3LuVyOaluebH5wod/yiymfSKRoO3bt8ucAhsQ0I5AU+cCnD9/nk6ePEnPP/+8J+AfPXpE6XSaLl26JO2/1thp0RHGoos0nLdVeHIPKvbg78xcbK3Fs6lPADzQV199VekGFZOrtX306FG6ceNGLTMcBwFtCcg9T2uLB4mDQGsTgAC0dn2RHQhUJQABqIoHB0GgtQlAAFq7vsgOBKoSgABUxYODINDaBCAArV1fZAcCVQlAAKriwUEQaG0CEIDWri+yA4GqBJo6F4AxVjW4RhzkfciMi5axscaDsehWIuV9VZ6q9rwn8C/ztm7J8sQTgJUc9kFAIwJNnQsQCoU8R837qDUeWgxCxRZj0UVyztsqPLkHFXvwd2YuttbiiScAkRa2QUAzAhAAzQqOdEFAJAABEGlgGwQ0IwAB0KzgSBcERAIQAJEGtkFAMwIQAM0KjnRBQCQAARBpYBsENCMAAdCs4EgXBEQCEACRBrZBQDMCEADNCo50QUAkEM7n8+L+2rY5UUd2uK6qPe9oeXl5rT+vNp4+fUpuOYp91hN/oVCQ8s37UfXvtT2PCfGLV0Dlti78w4ZhVGZe2jNnE9UaS2yerGrPzwuHvf9W8i1btpBbjmbsfF1P/FxYZHzX4181HlV7HhPiF6+Aym1Vnqr2QeGPjwCVdcceCGhFAAKgVbmRLAhUEoAAVPLAHghoRQACoFW5kSwIVBKAAFTywB4IaEUAAqBVuZEsCFQSgABU8sAeCGhFAAKgVbmRLAhUEoAAVPLAHghoRQC/C1AqtzmSS6X6+F56d1qqPFXtec/gv37+3o/FdY/R8yPz8/M0NzdHly5dqtkXv5j4wr9qWnZ5/Pgxbdu2jbZv3y57CuxAIFAEWvp3AW7fvk23bt2iAwcOeAL90aNHlE6npQTGDEB2boUf9vhefZOy+9rLegWBf0s/AfCy7tixgy5fvuxe4XUcOXr0KN24cWMdHnAqCDSXgPzzbnPjRO8gAAIeEIAAeAAVLkFgoxCAAGyUSiFOEPCAAATAA6hwCQIbhQAEYKNUCnGCgAcEIAAeQIVLENgoBCAAG6VSiBMEPCAAAfAAKlyCwEYh0PJzAbwuBP/6aJlx7DI2Yqxe2/O+MJZeJF65rQt/PAFU1h17IKAVgZaeC+BHJfkPp6iMF1ex5fF7aR+EsejWGqnki/it9Oz7tXjiCcDODC0goA0BCIA2pUaiIGAnAAGwM0ELCGhDAAKgTamRKAjYCUAA7EzQAgLaEIAAaFNqJAoCdgIQADsTtICANgQgANqUGomCgJ0ABMDOBC0goA0BzAVYZ6kxF8AZoC5j6c3sVfPl5wVhLgaeAMwKYg0CGhLAXIB1Fh1zAaoDrDUW3Xq2ij3mAljp2fdr8cQTgJ0ZWkBAGwIQAG1KjURBwE4AAmBnghYQ0IYABECbUiNRELATgADYmaAFBLQhAAHQptRIFATsBCAAdiZoAQFtCEAAtCk1EgUBOwEIgJ0JWkBAGwIQAG1KjURBwE4gnM/n7a1ExCe58IUPdZVZVO25z+XlZRnXgbZ5+vQpuTEUA1fl47U9j61QKEjFzm29jkfVP+IXry77tizPsGEY9rOJ1n7tptZYYvNkczaUrD0/LxwOm6dv2PWWLVvIjaGYlCofr+15bFy4ZGLntl7Ho+of8YtXl31blic+AtjZoQUEtCEAAdCm1EgUBOwEIAB2JmgBAW0IQAC0KTUSBQE7AQiAnQlaQEAbAhAAbUqNREHATgACYGeCFhDQhgAEQJtSI9GNRiB/MU2haB9NFCyRF27SofYQJY9nLAfUdyEA6sxwBgi0DAH8LsA6S8mHXJqjrqq5krERz/fanvcVhO+lN3NWzVeH+Fee8SwZPVtZoZVNKyYqPiyTigP1n624XnuyPJs6Fve7776jubk5+uijj8rJNXDr4cOHxIfqeuX/66+/LsZ/6dKlmlHzm40v/KusZRav7XkMjx8/pq1bt8qEUxQLboj4nXGp1svkv23bNtq+fbuzUx9aQ8ycNWDpzFQQ2bH9qva8u1deeYWuX79O8Xjc0ntjdrkA8MlMzz33XGMcWrx8//33xCcDeeXf0l3Dd3npZSd7NbzzBjjc6PE/evSI0uk0uf0B4e8AfvLGFVdSHcemKTOYdDwuez829QmAR/7CCy/Qt99+65jEehtTqRRFo1G6fPnyel05nn/06FG6ceOGawHFk2QLYp7jtT3vB5OBTNr2tR/8Dx8+TF999ZW9c7ElkqKRiWH6yz9b/QhQ/INcyNDx3jdoUrSrc7vpAlBn3DgNBDQhYFB7V5KSW0QBKJARbUz6ch9IG9MXvIAACASMAAQgYAVBOCDgJwEIgJ+00RcIBIwA3gEErCAIBwRMAkbfBLHSKMAVYRgARbtoaHb1K/tM23rXeAKolxzOA4EWIAABaIEiIgUQqJcABKBecjgPBFqAQFPnArQAv+LXZZuDRqrlI2Mjnu+1Pe8LcwFE4pXbfvDnIxn5P5m+ZGzEDGTt8RJQpKa4PT8/7/lcgEQi0dSx4opIYL7BCIRrjfWvddyar6q99fyNtH/79m26desWHThwwJOwa40Vd+pUhT+f2KNiz/sLkv1Gj5/Pw+D/VJiq2MrUC08ATneRQtuOHTs8n2ugEA5MQUCJAF4CKuGCMQi0FgEIQGvVE9mAgBIBCIASLhiDQGsRgAC0Vj2RDQgoEYAAKOGCMQi0FgEIQGvVE9mAgBIBCIASLhiDQGsRgAC0Vj2RDQgoEcBcACVc/ht7NVacZ4K5AO71lB1Lb3pQtefnYS6ASQ9rRwJezjXgHd69e7d4Eb744ouO/YuNqt97b9pjLoNIMXjbmAsQvJqsReT1XAMuMHzhX83uxYK5DNWpYi5AdT44SkRezjXw63cTUMjgEsBLwODWBpGBgOcEIACeI0YHIBBcApgOHNzabPjIZmZmiP+AKv8JtVoLfyPOF5XfKrxz5w79+OOP9NJLL9VyX3zZqeKfx8Pj5z+g6oV/HsvVq1fphx9+qBm7lwYQAC/pau77/v37xH8B+osvvvCExGeffVYUDP4DrV4sXvvPZDIUDjf3Fmxu715UDT4DReDll1/27OfZzZeYXv38ux/+uQg0c8E7gGbSR98g0GQCEIAmFwDdg0AzCUAAmkkffYNAkwlAAJpcAHQPAs0kEM7n8479q/63jKo979QcL+4YABpBQAMC/B5wuwfF9FXvL1n7sGEYYj9r2+bsJtnvIVe15x3x73XHAgI6E+D3gNs9KHJRvb9k7XEHipSxDQKaEYAAaFZwpAsCIgEIgEgD2yCgGQEIgGYFR7ogIBKAAIg0sA0CmhGAAGhWcKQLAiIBCIBIA9sgoBkBCIBmBUe6ICASgACINLANApoRwO8CaFZwpBssAnzIrjlqr1pkMjbi+bL2eAIQqWEbBDQjgN8F0KzgSDdYBPh3IMrOt+GRq9jK2OMJIFjXA6IBAV8JQAB8xY3OQCBYBCAAwaoHogEBXwlAAHzFjc5AIFgEIADBqgeiAQFfCUAAfMWNzkAgWAQgAMGqB6IBAV8JQAB8xY3OQCBYBCAAwaoHogEBXwlgLoCvuNEZCFQSwFyASh7YAwEQ8JEA5gL4CBtdgYCVAOYCWIlgHwRAwDcCeAnoG2p0BALBIwABCF5NEBEI+EYAAuAbanQEAsEjAAEIXk0QEQj4RgAC4BtqdAQCwSMAAQheTRARCPhGAALgG2p0BALBIwABCF5NEBEI+EYAcwF8Q42OQMBOAHMB7EzQAgIg4BMBzAXwCTS6AQEnApgL4EQFbSAAAr4QwEtAXzCjExAIJgEIQDDrgqhAwBcCEABfMKMTEAgmAQhAMOuCqEDAFwIQAF8woxMQCCYBCEAw64KoQMAXAhAAXzCjExAIJgEIQDDrgqhAwBcCEABfMKMTEAgmgXA+n3eMjE9S4AsfqiizqNpzn8+ePaPFxUU6cuSITBfKNrOzs7R582b4dyEHPi5gSs1+8OH3gNs9KEanen/J2oeYaSn2RkQrKyvFFn4DySyq9txnb28vffLJJzLu67IxU5MVMdVO4L86MfCpzocfbW9vp2+++aamoer9JWvfVAHgymcYRs3kuYFsQqYzr+15P4jfpG1fg7+dibUlCNcP3gFYq4J9ENCIAARAo2IjVRCwEoAAWIlgHwQ0IgAB0KjYSBUErAQgAFYi2AcBjQhAADQqNlIFASuBjScAuTEa7E1SNBSiUChBPQNnKVOwprW+/fzkEPUlQhTqGqbZ9bmynV3IjNJAur0Uv0HJvuM0kbOZ1d3AY+/vEf0P0lgD/ZcDy9PEvgSFQmm66DyWrGwqu1WYpAHOvVjb8jraO0aNK3GOxgZ7KRnl/qOU6Bmg0dnGeC9c+UWpruXYV3PporOe1EAWrLvdBhOAWRru66NhGqCxmSxlp4aoa2KAegcnG3aBZIZ6Kdl3kaLJmDu1eo8UJmmw92/oonGIxqazNDM1TOnML6l33yg15PrI/Rf19w5Spuc4Tc5w/2epd/Zfqa//bGP8C3kXJt+jgdE5oaURm0uUL8Ro14Vpymaza/9mR9MUbYR7IsoM9VH/xQQNTsxQdmaCjrdP0OChiw3hE039B80KcWezM3TtRDfFOvupR264S4OyVHCzvLzMnP4tLS0x/s/pmFObqj338fDhw0r/D86w7kgHe/vUu+y1zjYWj0VYrHM3O3N7sRjL0q1/Yh2RTnbqXjnm+f9+ncViu9mni+U27tsxnlr+l/7EPj91in06v8hu/0sHo85T7J4Ln7riv/979tbut9j5B+VY5/+zm1HsTXa1EfHf/x925tR5dk/w9eBMN6P4Wzb/dcVvXg+Ln7N3O+PstXffYh2RFDs/X86H+62b/9zvWSrSxt7+fLHyunCpgfL186c/sDfjcfbmp7X913f9WO6X+fNsd7yDvX3VuT9b/C55uvJsgH3wngCW7tBvfhen9//3G/rjwz/Sbzuv0D/83Um6w0fe3fk/mjW6qTNRVjijI0XthS9pUvZZvYp/oih17d9PKWMdf2+q+U+8Tr/+7a9plxB/bjZPkfZOSsh2WdV/ivbu30XtJV+F2cv0q3+/SfGdeyjZCP8l7JkP/pF+Yxyh93e3lQshu1Ut/kKeCkt5+vLffkF/8dOttPX5n9HP//4DmlT5iFHN//0/0PV8O3Vm3qGf/zRM4fBW+tlfv0OXVR6/qvmvYFCgyX9+h66k3qcjPbLwKxz4s8PnAjgtppI7HXNqU7XnPhYWFipdZUdYN0XYzgvl9idT+1mcutmZB8vs3qlOFuk4xqbFsxbOsVQkzvZfeyK2rv0FqWis4Z/nYC7Tx/gTwGk2YzY4rFXjF/1zd0+mTrDuWBvb+3E5X7MbR56y8U8fYx1EfDYXa9szwqYr0ZhdKPMvxj9zmqXi3ewELwLvJ5JiQrnWfNcV/71TLBVvY6mDI2x8appNjZ9me9qIRVIjLLvmubyhyn/x6pssRsTiu06w8ewT9iQ7zo6lIizSba9zXfEL1w+bOc26Y53sRJULyBZ/OTXblmM8Nqtyg6x98J4AKEFJ808YEUWNJBmUoy9zNV7USItsnf6l9VjOf35ikNLpIUoMTdBwr8oHRAn/yQEam56iaxdOUPrmAKX7Vd4xVPOfo9GB9yi3b5gGktJALIZV/Lfvp4ncLE0M7aN0V5K60gN09uxeMq4M0UXZJ7xq188Sv4Y66NDxQ5RORCmaSNOhoX1kXD+r8CK2SvxrmRbo5tBxyvQMUn/7WmMgNwIoABZOhfKNbyQMovws5ctNRPkc5cmgZL2P7YJ/S8+N2bX5L9Ds2X7q6hujntFJurivfX0vuGz+edgGtSe7qKfvEA2PDlD0w+M0Kn0DWdIW/Oc/fIcOZfrp7Htd64tZ7ELwLzab29H2HkpQnjIVRTePSqxF/7EEGRQl8VKJGl2UiOQpp/IxQ+xW9G+2F27S8GieegZ6Sfi0Zx4N1DqAAnCfMsJ/yxTyGcpTgjoTUTI6XqP2uUmaFD6z5W+OUcbooR5p0u7+G1OZ6v5zF/dR+lCOBiYmaahXOmghNHf/+Q//lpJdAzQpCmTxTFuD4M+66ea/QNd/9Tuau3+S/sqIUjQapdCf/5LuLF2hN35iUK/0/wW6+Y9S4eYHNDAwXPHfuoXZSZqlBHVJvyRx9x9tT1EyMktjmfLdXshNUo4LpvRDmLt/kyT/r96xfJL6A/vq34yUf0h0WWQ/Q5inq9rz82yfgYqfcYnFug+zcf6h78k0G9kZY9R5ovQ2/h473R1hsZ0n2PhMlmWnRtietgjrODzFrB9zHeOp6X+ZLWSzLJudYeMH2xh1HGPXeD/ZBZv/uuJ/cJ7tisXYzpEpNlPsh/t29l9X/PfOsFSEWMf+c2yKxz39cfEzLnUcrnxvUiqaKv/F+QeleFfjnhk/yNoi3WxkOssWLAWoL/5TrDsSYZ0HL7DpbJbNXBthezuIxXadU3gHUO36mWfje+OM2vayc1NZtjDzMTvYya8nu/+64i+9A8ie62aR+H5meS1l3ipraxv/tSP2Dcd47GZrLbL2wROASBvbf/oY29URKb7EinXuYSPTT8ov9bIfs8M7O1iEv+SK8BdGFxxf1DkC4AJQzf/ip2xPbPXlGdfG8j/nlzm2Atbwv/jp66txV/jm/XSyEctbrrriX15mC+PH2J7OeCn2CGtLHWQXZix3Z+kyUY2fx1Sx1PMSsBr/5WWWHee1j63GH4mz7r2n2ZT9HWkxjLri539U9nazeLEGMdax6xi75uC/Xv48sOILZOvL6gpwqzu2+B1szCbHeMyDDmtZ+0AKwOEp+wUrm5DJwtG+dIM2wj/vx1bABvpH/GYl3dctx9891fIfwCo24iHH60c0KG0H8B2A8PkEmyAAAp4SgAB4ihfOQSDYBPCdgKX6qH6HHT8tCN/pZl5eiN8k4bxW5eO1fVCun7CZqBWbW7vVztxXtefn8a9Elj1P1q7eeFT9I36TtPNalaeqPfg7czdbZXniI4BJDGsQ0JBAuNb3/tc6bmWmYr9p06biD3dYfVTbV/HP/Xhpj/irVWr1GPi7MwrC9YMnAPf64AgItDwBCEDLlxgJgoA7AQiAOxscAYGWJwABaPkSI0EQcCcAAXBngyMg0PIEIAAtX2IkCALuBCAA7mxwBARangAEoOVLjARBwJ0ABMCdDY6AQMsTwFyAUollx06LVwTmMog0KrdVeara897Av5K5uCfLE08AIjVsg4BmBDAXwFJwlbHrQRjLbQlfae4D4rfSs++rXA/8bBX7IPDHE4C95mgBAW0IQAC0KTUSBQE7AQiAnQlaQEAbAhAAbUqNREHATgACYGeCFhDQhgAEQJtSI1EQsBOAANiZoAUEtCHw/+IcNe4AEfuTAAAAAElFTkSuQmCC"
    }
   },
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "# Связь с TF-IDF\n",
    "\n",
    "В исходной статье упоминание про TF-IDF и текстовые данные не фигурирует. При этом, тексты могут рассматриваться как транзакционные объекты. С помощью данного алгоритма можно производить кластеризацию, в т.ч. текстов. \n",
    "\n",
    "Для осознания тех выкладок, которые написаны ниже, достаточно понять, что гистограммы в CLOPE -- это частоты объектов, которые присутствуют в кластере. В таком случае легко осознать, что каждый столбец - это величина пропорциональная *tf*:\n",
    "\n",
    "![_auto_2](attachment:_auto_2)\n",
    "\n",
    "Высота же -- это среднее значение всех частот:\n",
    "\n",
    "![_auto_3](attachment:_auto_3)\n",
    "\n",
    "### Формулировка TF-IDF в терминах CLOPE\n",
    "\n",
    "Пусть каждый документ будет представляться вектором $v$ в [пространстве всех возможных документов](https://en.wikipedia.org/wiki/Vector_space_model). Координатой вектора будем считать веса, заданные согласно $tf-idf$ для каждого отдельно взятого слова.\n",
    "\n",
    "Пусть есть документы (тексты) $T_i$, где $1 \\leq i \\leq M$, которые мы будем рассматривать как транзакции. Документ $T_i$ состоит из слов $w_{ij}$ с отношением эквивалентности (в круглых скобках указываются неупорядоченные наборы объектов (слов) с повторениями):\n",
    "\n",
    "$T_i = (w_{i0}, w_{i1}, w_{iM_i})$\n",
    "\n",
    "![_auto_1](attachment:_auto_1)\n",
    "\n",
    "Под кластером $C_i$ будем понимать набор текстов:\n",
    "\n",
    "$C_j = \\{T_{j_0}, T_{j_1}, \\cdots, T_{j_L}\\}$,\n",
    "\n",
    "где $L$ - число кластеров на отдельно взятой итерации. Кластеры также можно мыслить как вектор. Следует оговориться, что название \"вектор\" некорректно и введено лишь для умозрительного представления. Некорректно оно в связи с тем, что сумма векторов, вообще говоря, не есть вектор. По крайней мере, если есть два кластера $C_i$ и $C_j$, которым отвечают два вектора $\\vec{v}_i, \\vec{v}_j$, сложив их мы не получим вектор, который будет отвечать их объединению $\\vec{v}_{ij}$, т.е.:\n",
    "\n",
    "$\\vec{v}_i + \\vec{v}_j \\neq \\vec{v}_{ij}$\n",
    "\n",
    "Данный факт обусловлен способом построения *tf-idf*.\n",
    "\n",
    "Введём дополнительное обозначение:\n",
    "\n",
    "$E_j = \\{T_{j}\\}$\n",
    "\n",
    "Кроме того, введём универсальное множество:\n",
    "\n",
    "$U = \\{T_j\\}_{j=1}^M$\n",
    "\n",
    "Понятно, что $1 \\leq j \\leq M$ для $E$ совпадает с диапазоном изменения переменной для $T$.\n",
    "\n",
    "Выразим в терминах *CLOPE* метрику *tf-idf*. Уникальные слова для кластера $E_j$ обозначим через $v^{E_j}_i$. Тогда:\n",
    "\n",
    "$D(E_j) = \\{v^{E_j}_0, v^{E_j}_1, \\cdots, v^{E_j}_{q_j}\\}$,\n",
    "\n",
    "где $q_j$ - число уникальных объектов в $E_j$. Согласно определению $W$, $S$, которые даны выше:\n",
    "\n",
    "$W(E_j) = q_j$ - количество уникальных объектов в классе $E_j$\n",
    "\n",
    "$S(E_j)=\\sum_{y \\in D(E_j)} Occ(y, E_j)=\\sum_{T_k \\in E_j} |T_k| = |T_j|$ - площадь гистограммы,\n",
    "\n",
    "так как $E_j$ состоит ровно из одной транзакции (документа).\n",
    "\n",
    "Выразим *tf* (отношение числа вхождений некоторого слова $\\text{x}$ к общему числу слов кластера (документа) $E_j$):\n",
    "\n",
    "$tf(x, E_j) = \\dfrac{Occ(x, E_j)}{S(E_j)} = \\dfrac{Occ(x, E_j)}{|T_j|}$\n",
    "\n",
    "Рассчитаем среднее значение $tf$ **для какого-нибудь документа**:\n",
    "\n",
    "$M[tf(x, E_j)] = M\\big\\lbrack\\dfrac{Occ(x, E_j)}{S(E_j)}\\big\\rbrack  = \\dfrac{1}{S(E_j)}M\\big\\lbrack Occ(x, E_j)\\big\\rbrack = \\dfrac{1}{S(E_j)}\\dfrac{\\sum_{y \\in D(E_j)}Occ(y,E_j)}{W(E_j)} = \\dfrac{1}{S(E_j)}\\dfrac{S(E_j)}{W(E_j)}=\\dfrac{1}{S(E_j)}H(E_j)$\n",
    "\n",
    "В данном случае $Occ(x, E_j)$ можно считать случайной величиной.\n",
    "\n",
    "Разделив $M[tf(x, E_j)]$ на количество ненулевых координат в конкретном кластере, получим в точности функционал $G(E_j)$, который предлагается в CLOPE."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Выводы о связи TF-IDF и CLOPE\n",
    "\n",
    "Как видим, CLOPE непосредственно связан лишь с *tf* и никак не зависит от *idf*. Для того, чтобы данный алгоритм достаточно качественно работал для полноценных текстов, следует ввести соответствующиие поправки в виде дополнительной нормировки *idf*. В противном случае следует понимать, что кластеризатор будет удовлетворительно работать лишь с короткими текстами, либо документами, в которых присутствует малое количество одинаковых слов, что, как правило, близко к понятию \"короткий документ\". Возможным примером будет являться задача кластеризации твитов, а также, кластеризация логов какой-нибудь системы. Последняя задача будет рассмотрена ниже.\n",
    "\n",
    "Действительно, на практике обработка транзакций при помощи CLOPE (здесь понимается под транзакцией не обязательно текст, а набор категориальных признаков), в которых многократно повторяется один и тот же объект, приводит к тому, что алгоритм слишком сильно ведётся на классы с высокочастотными объектами и объединяет их воедино, что вряд ли нужно.\n",
    "\n",
    "В связи с этим, кластеризации при помощи CLOPE оказывается далека от ожидаемой. Это может происходит по нескольким причинам. Во-первых, как правило, в тексте присутсвует несколько смыслов. CLOPE же берёт в качестве результата \"средний смысл\", что не есть хорошо и есть предмет серьёзных раздумий в отношении использования данного алгоритма для кластеризации текстов.\n",
    "\n",
    "С другой стороны, если мы заранее знаем некоторый контекст, в котором написаны документы, мы можем с успехом применить данный алгоритм. Здесь стоит повторно упомянуть задачу про кластеризацию логов. Возвращаясь к задаче о кластеризации твитов, можно также предположить, что информация, которую хотел донести писатель твита, не слишком размыта и, в среднем, находится \"около конкретной группы слов\"."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### IDF (комментарий)\n",
    "\n",
    "Выразим *idf* (инверсия частоты, с которой некоторое слово встречается в документах коллекции):\n",
    "\n",
    "$idf(x, U) = \\dfrac{Общее\\ число\\ транзакций}{Число\\ кластеров\\ (документов)\\ E_j \\in U ,\\ в\\ которых\\ встречается\\ x} = \\dfrac{M}{\\sum_{k=1}^M W(D(E_k) \\cap \\{v^{E_j}_i\\})}$\n",
    "\n",
    "Тогда tf-idf имеет вид:\n",
    "\n",
    "$tf-idf(x, E_j, U) = \\dfrac{Occ(x, E_j)}{S(E_j)}\\dfrac{M}{\\sum_{k=1}^M W(D(E_k) \\cap \\{v^{E_j}_i\\})}$\n",
    "\n",
    "Такая запись *tf-idf* оказывается довольно сложной. Поэтому преобразуем нормировку в другой вид, путём небольшого допущения. Будем считать частоту слов по всему корпусу документов, вместо указанного выше определения. Тогда запись становится очень простой:\n",
    "\n",
    "$idf(x, U) = \\dfrac{S(U)}{Occ(x, U)}$\n",
    "\n",
    "Получим:\n",
    "\n",
    "$tf-idf(x, E_j, U) = \\dfrac{Occ(x, E_j)}{S(E_j)}\\dfrac{S(U)}{Occ(x, U)}$\n",
    "\n",
    "Заметим, что $tf$ и $idf$ удобно представляются через условные вероятности, считая $U$ всем пространством:\n",
    "\n",
    "$tf(x, E_j) = \\dfrac{Occ(x, E_j)}{S(E_j)} = p(x|E_j)$\n",
    "\n",
    "$idf(x, U) = \\dfrac{S(U)}{Occ(x, U)} = \\dfrac{1}{p(x|U)} = \\dfrac{1}{p(x)}$\n",
    "\n",
    "$tf-idf(x, E_j, U) = \\dfrac{Occ(x, E_j)}{S(E_j)}\\dfrac{S(U)}{Occ(x, U)} = \n",
    "\\dfrac{\\dfrac{Occ(x, E_j)}{S(E_j)}}{\\dfrac{Occ(x, U)}{S(U)}}\n",
    "= \\dfrac{p(x|E_j)}{p(x)}$\n",
    "\n",
    "Таким образом, мы можем легко модифицировать формулы CLOPE для кластеризации достаточно длинных текстов, в которых есть большое количество повторений."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Шумовые кластеры, гигантский кластер, величина отталкивания и быстрый поиск оптимального $r$.\n",
    "\n",
    "Поговорим о кластерах малого размера. Сразу рассмотрим  пример. Построим валидационные кривые для различных параметров отталкивания:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "noiseLimit = 0\n",
    "seed = 42\n",
    "_, ax = plt.subplots()\n",
    "linspace = np.hstack((np.arange(1.2, 2.6, 0.2), np.arange(2.6, 3.5, 0.1), np.arange(3.5, 5, 0.5)))\n",
    "for r in linspace:\n",
    "    clope = CLOPE(print_step=0, is_save_history=True, random_seed=seed)\n",
    "    clope.init_clusters(mushrooms, r, noiseLimit)\n",
    "    df = get_count_clusters(clope)\n",
    "    df['sum'] = df['e'] + df['p']\n",
    "    df = df.sort_values(by='sum')\n",
    "    ax.plot(list(df['sum']))\n",
    "plt.title('Вариационные ряды для размера кластера при различных r')\n",
    "plt.xlabel('Порядковый номер отсортированных по размеру кластеров')\n",
    "plt.ylabel('Размер кластера')\n",
    "plt.legend(linspace)\n",
    "plt.show()"
   ]
  },
  {
   "attachments": {
    "_auto_0": {
     "image/png": "iVBORw0KGgoAAAANSUhEUgAAAgIAAAFmCAYAAAAfyPIdAAAgAElEQVR4AeydB3xUVfbHf1NSSAIhJCFElKKCIl2aCCtFQRF3hRURUNeGwqoIa0X/NlSISBGkiFhYpbgL7rqsDVFxFRQQUYpgQUERCCGE9DaZ8v+cO3NfJmHmvTdvWsq5n08yr9x3y/e+mXfeueeeY3K5XC5wYgJMgAkwASbABBolAXOj7DV3mgkwASbABJgAExAEWBDgG4EJMAEmwASYQCMmwIJAIx587joTYAJMgAkwARYE+B5gAkyACTABJtCICbAg0IgHn7vOBJgAE2ACTIAFAb4HmAATYAJMgAk0YgLWRtz3etH1Ll26oHXr1rBYLKCVnrT9+OOPo02bNvWi/dxIJsAEmAATqNsETOxHoG4PEAkCH330ETIzM0VD586di59//hnLli2r2w3n1jEBJsAEmEC9IMBTA/VimKobedFFF+Ho0aPKgbVr12LkyJG44oorcMMNN+DIkSPi3AsvvICHHnoIkyZNwqWXXorx48fj5Mk8ce4vf/kLtm3bJrZ/+OEHdO3aVdn/+OOPcfXVV2PEiBG45pprsH//fpGP8l9++eVim/7961//ws033yz2aZvqkmnMmDHKfkFBAaZOnSrKu+qqq/DSSy/JbCAhJzs7W+z//vvv6Natm9hWq4v69cgjjyhlyA2qf8mSJWKXypw8ebKok/rxv//9T2ar8XnZZZdh+fLlop8DBgzA888/L87b7XY8/PDDoPNXXnkl6Jx3/9avXw8aBzrXr18/pV49bavRAADHjx9Hjx49RFmDBg1SmFK+3bt348ILLxTnqC7JS6t9sg4al9tvvx0PPPAAhg8fjj/96U84dOiQOJ2bexK33XabKJv6+dprr8nLBAfKT3+SKZVF9a9atUrJt3TpUnFM3ktff/01aOzpPrnuuutw+PBhkVftXvzll18wYcIEcQ/Tde+8845SvvcG3bP/+c9/xCEai1dffVVsv//+++jbt6/oB7VX3kN0cvHixeIeoOP0PSgqKhLXVFRU4MEHHxTjS98dKpe+U8SY8lI/aZv+KB04cAA33nijKIu+G3v27BHHjfIVF3v+ERu6h2R9vXr1UvpJ7Xj99dcxatQoDBw4EGvWrBFXEW/iIdM999xTY18ep3zU3qysLNF2Gudvv/1WnC4vL8e0adOU488++6y8DKtXrxZjSOPxxBNPCE0knfR3P9J3l8qWicqS+7W/E3R8x44dIqu8n2lH7fsvyyXe9JtD9//o0aPx4YcfilN0n/3hD38Q3yWZV5ZJ36mZM2eK8fM+x9s1CbAgUJNHnd6z2Wzih5Jubkr0YKcv+SuvvIINGzbgrLPOAv04y/Tpp5/i//7v//DJJ5/gzDPPxEsvna5FoB/6pk2bikvoC/boo4/iySefxAcffIDBgwfjueeek8Xp+qS6jh07puSdN28emjVrJsqjhwgJLvKHQMkU4o3p0x/GeeedJ+p88cUXheCQn5/vsxb6caM2rV//X/H5/fff4/PPPxc/mPSQoT96UHknemiMHTtWnCNGwSQS3Dp16iTKoh9070TnSBCQ7ZDntNon89HnV199Jdq/ceNGMZ6kUaL04otLxTQTlU1CAP1g07jRw/LgwYPiPqMf3r///e9in64hpnRPyUTtoHuOUklJCaZMmSIeLvQDTULp3/72N5lVXOfrXpwzZw7ofn7vvffw9NNPi3uvqqpKua72xt69e0HC60033SROESMSgqkfUjigE5Tvn//8J9atWye+G/TdWblypbiG8lEdJPTSd4e+QzT1Jsswm80Kc6fTCRqXP/7xj+J+euyxx8Q+fVcoBcpXXFTrHwnqcow7d+5c4+xvv/0mBAMSCIhV7fuY7lcSwPwlEvxIOKLv8x133IGnnnpKZCWhorS0VNRL4/zf//5XfC+pv1u2bBHsSCjbunWr2KeL/N2P3nWTgPnhhxu9D4V822q1YsaMGUJgraysxOzZs4Xg36pVq9PqKiwsFN8vOfanZeADggALAvXgRiApmN4YLrnkEuzbtw9//vOfRavT0lKxfft2ZdqA3ia8tQW0L20Jhg0bJiR67+7Sjwi9GZx77rniMH3BNm/ejJ49e4r93r171yjP+1p/2/TDStoHmbZs+UJ5kDZv3hxDhw7FF198IU+H/LOsrAzffLMTt9xyiyi7Xbt24o3bn1aA3pjoIUAs6c38m2++QWxsLBwOh3hY+Grgr7/+irZt2/o6FfAx+qGWY1T7YvrhJZuQ2kmrfd75qf9yPOkNT77N0gONbE0oUf2pqanih56EtkWLFiEuLk4IBvRQbNYsWeSj+4Q0GPQAOXHihHhTTE9PF+foYdSyZUvx5koH6MFJ7Zf3o797kQTXiRMnijLofqMHNpXtK9G5Z555RgirdK9SojpIyK2dSMtFQmlSUhKoDzS2lJcSPejk2z5NuW3atAm+HiKUlzQWp06dwrXXXiuupTbSfUz3CaVA+YqLAvhHWjlK55xzjhgnEly9EwnyUijyPi63mzRpovSVxp+0G/SdJ20QsTeZTEhOThblEx9iRcIz9fHkyZOgB21aWpoojs77uh9lXfT58svLMW7cdcohKj8ciYQb0gKQtpHGp7awLuskgY20PJzUCbCxoDqfOnGW3sqkjQC9gdBDjt5i6Qu6cOFCfPbZZ+LBRQ9B7wcUfZlloh/44uJiuSs+6UeE3nbkWyIdfOONN8TbAf3o0l8gX2SyZTj//PNxxhlnKD+6BQX5QiMgK6Z2eP/Qk5BDD2L5hiXz5eTkKD9g9OBp3769PCV+4OmHnNpGwhGpeWWiN1oyqvT+YaAfPlK/+kr0IygTtY2uv/jii8VbKk0JUF/orYJUszL9+OOPflWN9PDx1zZ5vfcnvd127NjR+5CyTSpPKaQpBwHN9nnnrd0/eQ+QQDB//vPIyTkufvzz8vJAb4Mykfqd3uzvv/9+ISTJ48SGhEXiROxJEKVE+1K9LvOSwEI/0pT83YukVaDpIppCovGksfNuhyyLPul+NZst6N69u3KYVMreYyNP0JjPmjVLeVum9sl8VJfUglH+xMREedlpn3QdPQxpCkEmuh+pDEpG+cqytD69y6dtak98fLy4jKbt6HtDPPwJ19RP+R2m+5sS3c8k0NGbNAm19PCn76Q39wULFmDFihViyoE0VpT83Y/iJCDKIEGFNBekiaGUkpKiaADpXqit7dH6/tP90KFDB6EpkvXIT/qOk8BJ0xeyj/Kc/KS+kTDISZ0ACwLqfOrcWZoPpbeXnTt3ih8BEgLo4d2iRQuhziMVq0zeakT68ssfAjpP2gBK3nOqVCZ9+d98802h8qU3J5om0JvoWppnp+tkonbRj6Z8k6Bt+YZBeaSQQz/o3j+2GRkZQm1JeUh16T13TKpU+pGnH8Wrrx4l3gxkfVQ2ffnph0jtB17mr82IfmzpelLR0ts6qZHpASTnu4kjPfBITe4rqbXNV/5du3aBtDW+Ev1Ik9q7dlJrX+281F6ZvO+B6dOnC/U9/ZjSj2jtKQ56SNC8Os1FS40ClUMaHVIjE/u7775bEQRIG0BCKI1V7UTTCbU5071IDwWyX6AHB9VPgidpDvwlmmogIYTmsKXG59dff/MpLNF9RWP21ltviftg/vz5IOGSEgkl3u0hmxI6Rm/PtRP1KyEhQbkXvc9TX43y9S5HbZvaKTUeVJe3YEBv9CTI01j4S97nZFvp4Ux2NhdccIG4t0kQ99biUVlkP0DH6EFNvxF0j/q7H2XdL7/8stDueD+UyS6IpqVIOKaXBBpj76T1/SdBh976aWqktuaMfmuojaSFpN8OGidOxgjw1IAxblG7iuZvad7w7LPPBr3FkaaAHrb0g0F2AvS2IhM9ZOR8PX0ZvX/QSXigOV3vRBI7lUUPbXqjIiMq+iSpXCuRYRK9mdAD3DuR+o7mailR+Zs2fXraQ8c7fyDb9GZktVpqXEIqY3qTJ2GGErWfDP8khxqZATF3Sm9CNLdJbzOk+iWWpGnxZZRIamQycqK3XbXkq22185NAQQKQ97jIPPQDTqtDfJ1Ta5+8Xn7SvULTSZToDZ9U5JRoLKgf9KP973//W3AijdJPP/0EmjagqRG6D+jhSPXJ1KdPH6FepjdK+aZI56hcuh/pnqNED2F6yMt7x9e9SGNDf126dBXX0EOBxo/a4S/dddddwqaBNBvEx+l0iO9C7fzUFlLbkzBIKm0SIKguSiR0kMEntY3ehMnAkXj4SvQQJmGA5tgpUb57771XaWOgfH3VoXZMCvbUV7pX5PjRQ5lY0cNcLZFhJGnqKNHvAz2MadqH+kHjR0IACe5UNnGn78F9990nWNG0D/0eUF61+5HKpvEg7VZtoZYELPqtIRsIEsb0COfe/aE+0j3oLVzQeRIuaezoO0paKvq+cjJOgDUCxtlF7EqpPqMKY2JixA81faFTU9PEDxTN/dGPNknO9HAn4yf6wpE6nIyDfvzxJ2RmthKGg7LRZIRW+62WVL30AKU5Nfrxo7dGMrqit47rr79evFGR5Tkl+uKTgRgZANIXlX5kyRipdqK3ONIq0BsBvcnedtutNVS7tfPr2af5frKkprcL+lHv37+/+GGX15KqkOqkBxwlelsgFb+vRKp3mv+lt0J6uyA1PQkO9CZO87LeiYQpsoimH0/qDyV64NCPFakvKWm1TWTyrBagt3F64yELaEokxNEfWTnTFAMx96XWJANOX+2TZXt/0tscvU3RnDa9MZElPSV6oNL9Qm+Y1H+aiyYDLDIcJMGIyqcfXxKq6If27bffFtdRX0kI9Vat0wkSfOiHntpODxTKR/ei/AH3dS+SVoA0DmPGXCNUyKSBoPGktpHWwdcbHtVN7aHxpT5RXl9p3LhxwliRVo3Q2ND0Ed2LpLUibQI9wEl7Q+2mB5/UWNUui9pPU2f0PSLbCbqHqc2ybYHypXvKe/qudn219+lBTPd6bm6uWLkiNQL5+QVCI1M7f+19elEgTR+NDWlgyHiXErF+7rk5YlqGmNMqG9IwkHBALOh7Tvc5/UaQHQ3d7/7uRyqP7ltf3//a7dG7T9ob6jcJpPTdJTsIEsIp0f1FGkHqE40PaS+ovTRNQMItJwMEyI8Ap4ZHYOHCha6HH344rB2jOuivvqZLL73U9dVXX+lu/ltvveV68MEHT8tPx+hcIOnw4cMuqr928ldH7Xx69qmsm266SU/WsOaJxL0Y1g74KTzcfDt37uw6duyYn9q1D2/dutU1fPhw7Yyco9ET4KkBA8ITX8IEmAATYAJMoKEQYEGgoYwk94MJMAEmwASYgAEC7GLYADS+hAkwASbABJhAQyHAGoGGMpLcDybABJgAE2ACBgg0mFUDuTn+19Ia4IKU1ETk51UvxTNSBl8TPAEeh+AZhqIEHodQUAyuDB6D4PiF6uq6NA7pGW4nUcH2jTUCfgjWXp/uJxsfDjMBHocwA9ZZPI+DTlBhzMZjEEa4ARTdEMeBBYEAbgDOygSYABNgAkygoRFgQaChjSj3hwkwASbABJhAAARYEAgAFmdlAkyACTABJtDQCLAg0NBGlPvDBJgAE2ACTCAAAiwIBACLszIBJsAEmAATaGgEWBBoaCPK/WECTIAJMAEmEAABFgQCgMVZmQATYAJMgAk0NAJhcShEISkfeughEcOaQl/+9a9/BYV7pbC2FFYyLS0Nc+bMETHdKS74ypUrRXhPigs+duxYES6T8lJoWAqFSaFN27Rp09DYc3+YABNgAkyACUSdQFg0AhQHvl27dnjjjTfw/PPPixjuFMubYoSvXr1aPNTXrVsn4kovW7ZMxAinvBTbvqCgAO+8846Id75mzRoR45riTnNiAkyACTABJlBfCfxy8GeMm/BnvPWvf57WhZ3f7MCkv96KO++eiFlZT8HpdJ6WJ5wHwiIIpKSkiAc6NbyoqAjNmzfHjh07cNlll4m+DBkyBNu2bcOuXbvQuXNn8dCPj49H9+7dsXPnTnFu2LBhIu+AAQOwe/fucDLgspkAE2ACTIAJhI1AeXk5Fr4wDz179PJZx7z5s/H0jCwsXfwKysrLsG37Fz7zhetgWKYGrrrqKrz99tu4/PLLUVxcjCVLlmDKlCliKoA6kpqaipMnT4o/EhpkatGiBXJzc8Vx2qZkNpOsYoLNZlOul/m9P8n/c6hdP4bKj7N3O3k7cAI8DoEzC8cVPA7hoBpYmTwGgfEKV+5Ax8FuT8CKFa9i+fLlSGoaj9rXv/32v5GUlCSa26pVOpwu22l5wtUXKjcsgsB//vMfZGZm4tVXX8X333+PRx99tEYfXC5XjX254+844Du/vI4+Qx0giAbKO5DR86/vwNlnNcfVQzt4V8vbYSZQexzCXB0X74cAj4MfMBE8zGMQPOy3PvwRu/blBFWQ2WqC0179TOrROQNjLj9PV5llpZWIsVbUeLbIC8tLi8RL8BdffIkbr7/NZx6ZV37SPRGKFJapgW+++QYDBw4U7evUqZPoHKn+KyoqxLGcnBykp6ejZcuWyMvLU/pB2gA6RudomxIZG5KAEBsbq+SL9IbT6cIvB/Pxy+H8SFfN9TEBJsAEmEAjIJCffwoPP3Ifpk29H8nJzSPa47BoBNq2bSvm9a+44gocOXIECQkJ6NWrFzZs2IBRo0Zh48aNQlDo0aMHnnjiCWFHQKsDyGbgkUceQUlJich7ySWXYNOmTejdu3dEodSuzOF0S38WS1jkptrV8T4TYAJMgAmEgQC9uet9e/dXfTg0M6WlJXjgwWm47bZJ6Ne3v7+qw3Y8LIIArQ6gB/qNN94Iu92Oxx57DOecc45YPkirBWjaYPTo0YiJicG0adMwceJEmEwmTJ48WRgOjhw5Elu3bsWECRMQExOLrKxZYQOgp2CHx4LTba+g5wrOwwSYABNgAkxAH4HFSxZgzJjr0P+iAfouCHEuk8v/xHyIqwpvcd7z+aGoyVvqK62owkNZn+KC89Nx5/ieARVvc1bhf3lfY0BKdyRaEwK6ljNDGMyEemyZa+AEvL8PgV/NV4SCAI9BKCgGX4aRcfjhh/1Y8uILOJFzHBarFampabi4/0BkZp6Bi/pdjD9ePRznn3+B0rhLhw7DqKuvUfb9bVBbQpHCohEIRcPqUhkOj2GIxWIKuFm7iw5g4a/vwWK24NLUvgFfzxcwASbABJhA/SZAD/lFC5f57cRHH37u91wkTvCktw7K1VMDgQsClU6bqMHpZ6WEjuo5CxNgAkyACTCBsBFgQUAHWikIWIRPAx0XeGWxuxxizwKL11HeZAJMgAkwASZQNwiwIKBjHOSqAbOBqQEH3IKA1cSodaDmLEyACTABJhBhAvx00gGc/AhQspoDnxqo1iawRkAHas7CBJgAE2ACESbAgoAO4A6HWxAwGxAE5NSAlacGdJDmLEyACTABJhBpAiwI6CAuBQEjNgJOlzuKlJmnBnSQ5ixMgAkwASYQaQIsCOggbvc8zC3WwKcG7B4bAQsLAjpIcxYmwASYQMMkoBaGWPZ42UuLMWXqZLkbsU8WBHSgdnqmBiwGpgakjYDVzDYCOlBzFibABJhAgyOgFYaYOnzo0C/Ys3dXVPrOgoAO7HJqwIiNgENqE8CodaDmLEyACTCBBkeA3OnPmf080tLS/PZtydIXcNutk/yeD+cJ9iyog65cPmhEI6AYC5pYI6ADNWdhAkyACYSNwBtH38eWvP1BlU/PAflMoIIGpl6Av7S+UrVMq9UK+vOX3nv/v+jerSfOyGztL0tYj/Nrqg68Ur1vJOiQE2wsqAMxZ2ECTIAJNEoCRUWF2PDh+xg//oao9d+/iBK1JtW9iqUgYGTVgNQIGLm27pHgFjEBJsAE6i8BenPXenvX6p2RoENqZX698ysUFhbgril3wF5lQ/bx43hh0TzcM+U+tctCeo4FAR04laBDBlYNSCGC/QjoAM1ZmAATYAKNjMDQIcNAf5Sys49h1rNPRVQIoHpZENBx08mAQUY8CyoaAbYR0EGaszABJsAEGh6B2mGIP/v8UyUM8eBBQ6PeYRYEdAyBXD5oZNWA9CPAGgEdoDkLE2ACTKABEtAKQyy7nJl5hmq4Ypkv1J9sLKiDqN3pNvgzMs/PngV1AOYsTIAJMAEmEDUCLAjoQC+XihiKPhiEEKGjaZyFCTABJsAEmEBQBFgQ0IFPRh805kfArU2wso2ADtKchQkwASbABCJNgAUBHcSVVQMGXAwrxoIcfVAHac7CBJgAE2ACkSbAgoAO4nJqwGoOHJc0FrRwrAEdpDkLE2ACTIAJRJpA4E+2SLewDtQnfQGYDfgRcEobAY4+WAdGkpvABJgAE2ACtQmwIFCbiI99RRAwoBFwuByiRAsHHfJBlg8xASbABBoHAbUwxDk5x3Hn3bfjjsk3Y87cWREHwoKADuTSj4Axh0JOmGGCmTUCOkhzFibABJhAwyOgFYZ48dKFGHvteCxf9neYzRYcP54dUQgsCOjALW0EjPgRsMOJGLYP0EGZszABJsAEGiYBtTDENH28b98e/GHgINH5++59CK1aZUYURFg8C65duxbvvvuu0pHvv/8e69evx/Tp0+FwOERM5jlz5iA2NlYcX7lyJSiy35gxYzB27FhUVVWJvNnZ2bBYLJg5cybatGmjlBfpDakRMOJZ0Ol0wMragEgPGdfHBJgAEziNQMHKf6B0yzenHQ/kwHGLGQ6He1k4XZc48EI0v3GcahFqYYgLCvIRH5+ARYvn46cDP6Fb1+6YPOlu1fJCfTIsGgF6mL/xxhvi76677sLIkSOxaNEijBs3DqtXrxYP9XXr1qGsrAzLli3DihUrRN5Vq1ahoKAA77zzDpo2bYo1a9bgjjvuwPz580Pd74DKs7ukZ0FTQNdRZrqWBYGAsfEFTIAJMIFGQcDlcuHUqZO4dsx44V74wIGf8MWXmyPa97BoBLx7sHTpi5gz5zlMmDABM2bMEKeGDBkiHv7t27dH586dxUOfTnTv3h07d+7Etm3bcPXVV4u8AwYMwOOPP+5dZMS3HQ6XqNNiYNUACwIRHy6ukAkwASbgkwC9uWu9vfu80OtgqMMQJyc3R8uWGWjd+kxRy4UX9sahQwcx4OI/eNUa3s2wCgK7d+9Gq1YZaNmyJSoqKsRUAHUnNTUVJ0+eFH8pKSlKD1u0aIHc3FxxnLYp0ZQBYILNZlOuVy7w2khJTYTVavE6EvwmDTilmDg3pvT0ppDH9Jbu2u9CrNUa8HV6y28M+QJl3hiYRKOPPA7RoF6zTh6DmjyitWd0HBIS45DUNP6050GbNmehpCwP9HL82+FfcOWVV56WJ5x9Dasg8NZbb2H06NGntZ9UIb6Sv+OA7/zeZeTnlXrvBr1NA52bUyTKKS+xic/C/FLEBTg7UFllFysGZFlBN6yRFeA9Do2s63WquzwO0R8OHoPojwG1wMg41A5D/N57H9QIQzz5jnvw4IPTQc/A9u3ao1uXPsrzR63X1JZQpLAKAl9//TUee+wx0c4mTZoIrUB8fDxycnKQnp4uNAV5eXlKP0gb0KNHD3GOtjt16iQMBwkOGRZGKwUTfZD8CMSbY6LVdK6XCTABJsAEokxAKwzxmWeehaWLX45aK8NiLEi9OX78OBISEpQHeL9+/bBhwwbR0Y0bN2LgwIHiob9v3z4UFRWhtLQUu3btQp8+fUB2ATLvpk2b0Lt376gBooqVoEOWANUBZCwIJywccCiq48eVMwEmwASYgH8CYdMI0Bu99/z/lClTxJJAWi2QmZkppgxobeW0adMwceJEmEwmTJ48WRgO0iqDrVu3CgPDmJhYZGVF3tOSNzLpR8BIGGI2FvQmydtMgAkwASZQ1wiETRDo2rUrXnnlFaW/GRkZYqWAcsCzMWLECNCfdyLfAVlZWd6Horotow8aCTpU5XKCAw5Fdfi4cibABJgAE1AhELapAZU6690pJXCQkVgD5FCIQxDXuzHnBjMBJsAEGgsBFgR0jLQiCBiwESCNgNUUuG2BjmZxFibABJgAE2ACQRNgQUAHQsVGwBzYA93pcsIJFyzsYlgHZc7CBJgAE2AC0SDAgoAO6nani3wawRzgm70DHtfEvGpAB2XOwgSYABNouATUwhC/9a+1mHznbSIU8cIX5kUcAgsCOpC7nC4YijzodIjSrRx9UAdlzsIEmAATaJgE1MIQl5aWYN26NVj8wkvCl8Bvvx3C3u/2RBQECwI6cNOqAUORB10eQYCNBXVQ5ixMgAkwgYZJQC0MsdUaA4s1BiQs2O12VFRWIrlZckRBhG35YER7EebKHE4nLAYMBaunBljeCvMQcfFMgAkwAU0CX33wE37bm6OZTy2D2WKG0ysMcduuGeg7oqPaJVALQxwXF4eb/nILJlx/DWLj4jB40FC0adNWtbxQn+QnlA6iZCxozJmQWyPAxoI6IHMWJsAEmEAjJEBTA6vXrMTKN9biH2v+je9/2I8DB36MKAnWCOjATS6GjUwNkCaBkhH7Ah3N4ixMgAkwASYQAAF6c9d6e9cqzkjQIbUyD/16CJmtMtG8eXORrVvX7vjhx+/RocN5apeF9BxrBHTgdNrJWDCwpYNUrB0eGwFeNaCDMmdhAkyACTQ+AmdknoHDv/+GysoK0fkff/wBZ53VJqIgWCOgAze92cfEWHTkrJnF6TEWtIDlrZpkeI8JMAEm0HgI1A5D/Nnnn9YIQzz22vG4Z9qdIPf6XTp3QY/uF0YUDgsCOnCLqQEjxoIu99QALx/UAZmzMAEmwAQaKAGtMMSjR40B/UUr8auqDvJGbQTk1ICZPQvqoMxZmAATYAJMIBoEWBDQQZ08CxqxEZDGgla2EdBBmbMwASbABJhANAiwIKCDuttYMHBUdsVGIHD7Ah3N4ixMgAkwASbABIImEPjTLegq618BRqcGKOQQJStPDdS/QecWMwEmwAQaCQEWBDQG2uVygf4MeRb0GAtaONaABmU+zQSYABNgAtEiwIKABnkZgtiIIGD3BB0KNGqhRmwaWVQAACAASURBVJP4NBNgAkyACTCBkBHg5YMaKBVBwBy4zOSQywc56JAGZT7NBJgAE2jYBJa+uBB79u6B0+HAhAk3YvCgS5UOf7VjG155dRnMZgv69e2PW26eqJyLxAYLAhqUKfIgJbMBQUAuH7TwqgENynyaCTABJtBwCez8ZgcOHTqIZUtfRWFhASbecVMNQWDxkgWYM3sB0tNbYsrUyRg8aAjatz8nYkBYENBA7ZCW/wZcDDs9UwNWA0KERrP4NBNgAkyACdQTAuQp8IJOXURrk5KaoqKiAg6HQ3gSPHr0COhYRkYrcf6ivv3x9c4dLAjUpbF1ONwaAYs18FgDcmqANQJ1aUS5LUyACTRWAidPbEJpUXCR/Y4cNEP6iCGOic3OQ1rLoapIyXVwkyZNRJ533v0P+vbtJ4QAOpB36iSaJ7sDDtF+85QUHDt2VLW8UJ9kjYAGUVo6SMlkQCNg99gImDnWgAZlPs0EmAATaPgEPt/8KT744F3Mm7vIb2dplVqkEwsCGsTJqyAlQ54FOfqgBl0+zQSYABOIHAF6c9d6e9dqjdEwxNu2f4lVq1/H3OcWIikpSakmPa0lTuWfUvZzc3ORmpqm7EdiI3BT+Ei0qg7V4XC4nQJZDMzzK54F2Y9AHRpRbgoTYAJMILIESkpK8NLyJZidNR/NmiXXqDwz8wyUlZUhO/sY7HY7tm//En37XFQjT7h3wqYRWL9+PV577TVYrVbcfffdOO+88zB9+nRhIJGWloY5c+YgNjYWlG/lypXCKn/MmDEYO3YsqqqqRN7s7GwxjzJz5ky0aRPZ+MwSvJwaMOJHQDEW5KkBiZM/mQATYAKNjsDHn3yIwsJCPP7kI0rfe/bohbPPPgeDBw3F36bdjxlPPybO0bLCNm3aKvkisREWQSA/Px/Lli3DunXrUFpaikWLFmHjxo0YN24crrzySsybN0+cGz16tMi3du1axMTECCFg+PDh2LRpE5o2bSrybd68GfPnz8eCBQsiweO0OhQ/AiYDxoIeF8McffA0rHyACTABJtBoCIy6+hrQn79EQgEtLYxWCsvUwJdffom+ffuKeZCMjAw888wz2LFjBy677DLRzyFDhmDbtm3YtWsXOnfuLB768fHx6N69O3bu3CnODRs2TOQdMGAAdu/eHS0+CGbVgDQW5OiDURs+rpgJMAEmwAQ0CIRFI3DkyBGxTnLy5MkoLi7GXXfdJfZpKoBSamoqTp48Kf5SUlKUJrZo0QJkKEHnaJuS25GPCTabTUwlKJlrbaSkJsJqDW2UPzIKOVlsEzUlNW0C2g8kxRW58bZokYT01MCuDaSehp43UO4NnUe0+sfjEC3y1fXyGFSziOZWQxuHsAgCNEA0H7J48WIcPXoUt9xyiwjcIwfO3/IIf8cB7eUU+XmlsviQfNJA5+YUIS+vRJRXUW4T+4EUXlxcLrKXFFQi114UyKWc10NAjgMDiS4BHofo8qfaeQyiPwZ1bRzonghFCsvUAL3x9+jRQxgKtm3bFomJiUhISBBaAWp0Tk4O0tPT0bJlS+Tl5Sn9IG0AHaNztE2JDAdJQJDaBCVzhDakjYDVgB8BB4chjtAocTVMgAkwASZglEBYBIGBAwdi+/btcDqdIMNBWhrRr18/bNiwQbSTDAcpDwkL+/btQ1FRkTAqJJuBPn36gOwCZF4yHOzdu7fR/gV9nfQgZbEEjkouH2RjwaCHgQtgAkyACTCBMBEIy9RAq1atQNb/1113nWj2ww8/jK5du4olgbSSIDMzE7RigFYKTJs2DRMnToTJZALZFNBqgZEjR2Lr1q2YMGECYmJikZU1K0zd1y5WagSM+BGQLoatHH1QGzTnYAJMgAkwgagQCIsgQD0ZP368+PPu1YoVK7x3xfaIESNAf96J/DJnZWV5H4ratlNGH7QEvnxQagQs7FAoauPHFTMBJsAE6gIBtTDEFJ1w+csvgjTPZ7Zug+kPPWoo4q3Rfgau7zZaUz29zu6UngUDFwSkQyGLiTHX0+HnZjMBJsAEgibgHYZ4znMLsGTpCzXKnDd/Np6ekYWli19BWXkZtm3/osb5cO+ETSMQ7oZHqnyXjDVgRCMgjQV1TA04cnJRtmMnkq4cDpMBd8aR4sH1MAEmwASYQGAE1MIQU0kvv/R3JCa64w9QJEJadRfJxIKABm3FRsCIZ0GXQ5Sux1iweOMmFK79GPHdOiOmzVkareLTTIAJMAEmECiBd47mYNcp95LwQK+V+S37zZAxaOhYjxZJ+GPrDHna56daGGK6QAoB5EOHtAe3T5zss5xwHWRBQIOsFATMRjQCnnCSemwEnOWV7pawNkBjRPg0E2ACTKB+ElALQ5yffwoPP3Ifpk29H8nJzSPaQRYENHBLyc9q4AEtbQT0rBpwVVWJlphiYjRaxKeZABNgAkzACAF6c9d6e9cq16hjJ39hiKm+0tISPPDgNNx22yT069tfqwkhP8+CgAZSRSNgwKGQHe6pAV3GglIQiGVBQGNI+DQTYAJMoF4RkGGI589ddFoYYurI4iULMGbMdeh/0YCo9IsFAQ3sStAhI4KAy73iQE/QIacUBKwsCGgMCZ9mAkyACdQrAmphiC/qdzE+/mQjjhw9gvfef0f069Khw1SjFYa68ywIaBBVPAtaA18+KB0KmaG9fNBl80wNxLkDM2k0i08zASbABJhAPSGgFYb4ow8/j2pPtJ9QUW1e9CuXUwN6DP5qt9bu1L9qwFXpFgRgZdmsNkfeZwJMgAkwgfARYEFAg600FjQbmBpwupyINVmE+2SNakDGgqZYC/sQ0ALF55kAE2ACTCCkBFgQ0MDplA6FDAgCZCxo1elVkKYGTHFsH6AxHHyaCTABJsAEQkyABQENoMrUgAEbAbvLCb3LDp02O0wxPC2gMRx8mgkwASbABEJMgAUBDaBBaQRcTuhaOkhtII1APGsENIaDTzMBJsAEmECICbAgoAHU4Yk+aCQMMTkUitERZ4CaIFYNsA8BjdHg00yACTABJhBqAqyL1iCqLB80YiNAUwMmi0YN7tOuSjssLXg4dMHiTEyACTCBekZALQyx7MqylxZj3/7vsGjhMnkoIp/85NHArNgIGIg1UCVWDehTutDyQRNrBDRGg08zASbABOofAe8wxIWFBZh4x00YPOjSGh05dOgX7Nm7CxZL5B/L+p5SNZrbuHYUQcBI9EGnA1aztkbA5XTCZXOA4ww0rnuLe8sEmEDjIEBhiJ+a8azobFJSU1RUVMDhcPuZkQSWLH0Bt906Se5G9DPyokdEuxd8ZYqxoCVwmYk8C+oJQQy7XTSUlw8GP15cAhNgAkzAH4G3PvwRu/bl+Dut67jZaoLTYztGF/TonIExl5+neq1WGOL33v8vunfriTMyW6uWE66TgT/dwtWSOlqudChkxFiwSvgR0KERkO6FeWqgjt4F3CwmwASYQPAEZBjiv019UCmsqKgQGz58H+PH36Aci/QGawQ0iMugQ0Y8C5KNgL4QxDbRCjOHINYYDT7NBJgAEzBOgN7ctd7etUoPdRjir3d+BbIbuGvKHbBX2ZB9/DheWDQP90y5T6spITvPgoAGSsVGwICxoNuhkHawIhlwCCwIaIwGn2YCTIAJ1D8CamGIhw4ZBvqjlJ19DLOefSqiQgDVG7AgsGHDBlxxxRX1byQMttjp9IQSDlAQcLlcEIKAjuWDFGeAEhsLGhwkvowJMAEmUIcJqIUhHjxoaNRbrioIHD16FKtWrUJBQYFoqM1mw9dff93IBAGX6HugNgIUcIiSHmNBqRHg5YMCGf9jAkyACTQoAlphiGVnMzPPiLgPAapb1Vhw+vTpaN68Ofbs2YPOnTsjPz8fs2bNkm1uFJ/SWDDQ1YMOuJeG6HIo5NEImNlYsFHcU9xJJsAEmEBdIqAqCJjNFkyaNAmpqam44YYb8OKLL2LNmjV1qf1hb4vT4QIZCpoClATsLrcgoEeTwBqBsA8jV8AEmAATYAJ+CKgKAjZbJbKzs8VD8PDhw7BarTh27JifohrmYbvTBVo3GmiSron1rBpwVrlXDZisHHQoUM6cnwkwASbABIIjoGojcOutt+LLL7/ELbfcgjFjxsBsNuuyD9i2bRvuu+8+nHPOOaJ15557LiZOnAiaaiBvSmlpaZgzZw5iY2Oxfv16rFy5UpRNdYwdOxZVVVUiLwkh5Ihh5syZaNOmTXA9NXg1ORSyGIkzEMDUgDQWBE8NGBwlvowJMAEmwASMElAVBIYNcy9poMJJICgtLUVycrKuunr16oUXXnhByfvwww9j3LhxuPLKKzFv3jysW7cOo0ePxrJly7B27VrExMQIIWD48OHYtGkTmjZtKvJt3rwZ8+fPx4IFC5SyIrlBywdJAAo0VRsL6tAmSIdCvHwwUMycnwkwASbABIIkoPqEO3DgAKZMmYKrrrpKPLRnzJiBgwcPGqpyx44duOyyy8S1Q4YMAWkNdu3aJYwQ6aEfHx+P7t27Y+fOneKcFEIGDBiA3bt3G6ozFBc5HU5DGgHFWFBHGGKpETDH8dRAKMaMy2ACTIAJMAH9BFQ1Ao888oh4S582bRpoXTw9pOnN/p///KdmDSQwTJ48GUVFRbjzzjtFkAWaCqBExocnT54UfykpKUpZLVq0QG5urjhO25Tcb+Mm0NJFeb1ygddGSmoirFZtd75el2hukgcpmEywxpghtjWvqM5QUVImdhIT47WvjbPgJIBmac2QQnVyqkEgUPY1LuadkBHgcQgZSsMF8RgYRhfSC42Mw+zZs/Htt9/Cbrfj9ttvx+WXX660iWzv7r//fjEtfv755+Ppp59WzkViQ1UQaNKkCa699lqlHTTXv3HjRmXf30a7du3w17/+VUwDkJEh2Rh4R1oiocJX8ncc8J3fu4z8vFLv3aC3aaBzc4pQZXPAbDGJ7UAKzS0vEtntFQ7Na4tOFYu8xWV22HPc1wVSV0POK8ehIfexPvSNxyH6o8RjEP0xoBYYGQcKQ/z9/h+waOFy4U6YwhBf2KO/0qGnnpqJ0aPGgpwLzZs/G3t3/4hWrTKV8/42qC2hSKpTA3379sVHH32E8vJyYR/w8ccfo0ePHkI7ID3u+WpEq1atMHLkSLHaoG3btkIDUFxcLLQClD8nJwfp6elo2bIl8vLylCJIG0DH6BxtUyLDQRIQ1LQBSgFh2CAbAYuByIN2j7GgRYdnQbCNQBhGjotkAkyACdQNAmphiOlZum/fHvxh4CDR2PvufUiXEBDKnqlqBF5++WX4euAvX76cHOJi7949PttCKwHoQU4rBU6cOIFTp07hj3/8I8g98ahRo4RWYeDAgUKoeOKJJ8T0Aa0OIJsBmo4gv8yU95JLLhGGg7179/ZZTyQOGl01II0FLSZVWUt0QdoIsGfBSIwo18EEmEBjJfDG0fexJW9/UN2nVWQyBg0VNDD1Avyl9ZWqZaqFIS4oyEd8fAIWLZ6Pnw78hG5du2PypLtVywv1SVVBwKiR3qWXXirmOz799FPxRv/YY4+hU6dOYkkgrRbIzMwUxoe0UoDsD0hgIIc9ZFNAhoOkTdi6dSsmTJiAmJhYZGVFz5shCUJGIg86PC6G9WgEqh0KuW0oQj3IXB4TYAJMgAlEn4AMQzxv7iKlMaTxPnXqJK4dM15oAh586G/44svNGHDxH5Q84d5QFQQKCwuFN0FS39O6/08++QQ9e/aENOTz17ikpCSxLLD2+RUrVtQ+hBEjRog/7xMkPWVlZXkfitq2w27Qj4DTLtqsRyPgtLnzskYgasPMFTMBJtAICNCbu9bbuxYGIzYCVOa27V9i1erXMfe5haBnpEzJyc3RsmUGWrc+Uxy68MLeOHToYEQFAVW99aOPPire3o8cOSIaSJb7Dz30kGx/o/ikqQFDngU9BpFWXVMD7FmwUdxM3EkmwAQaJQEZhnh21nw0a1bTFw957M1slYnffz8s2Px04IeIO9BT1QhQkKGbbrpJaAKohfT2/uabbzaagSSVjbARCDDOAAGSxoJ6XAyzsWCjuaW4o0yACTRCAlphiKfcfS9mPfuUMIxv3649Bg5wGw5GCpWqIECNIKt9GXAnN/ckysrc6+Mj1cBo1uP0vNUbWTUgjQXNOlYcsLFgNEeZ62YCTIAJhJeAVhjiM888C0sXvxzeRqiUrioIjB8/XvgRIBsBMuTbv39/o5oacDjc/guMxBpwOD3RB/V4FuTlgyq3KJ9iAkyACTCBcBJQFQTIev/CCy8U3pBoHX/Xrl2RkZERzvbUqbLlEhEjsQaUqQEdNgLSWJCDDtWp4efGMAEmwAQaBQFVQYA8ApKlPy33a4xJagQisnwwxgyTJbQukhvjmHGfmQATYAJMIDACqoIA2QOQi+DaKVohgWu3I9z7UiNgsaourvDZDDk1YNbhWZD8CJg48qBPjnyQCTABJsAEwktAVRCg6IO33XabsGSUzSDDQXI73BiSjI9gNesIJVwLiANOcUTP8kHY7DDHqQ5FrdJ5lwkwASbABJhAaAioPn26dOmCN954IzQ11cNSaOkgJZMRQcDlMRbUYSMgNAKxHIK4Ht4i3GQmwASYQL0noCkI1PseBtEBZWrAgCBg97gY1uNHwElTAwlxQbSUL2UCTIAJMIG6TGDpiwuxZ+8eOB0OTJhwIwYPulQ0Nzc3B08984TS9OPHszHxtsm4fPgI5Vi4N1QnvylA0Ny5c5U2PPzww/jxxx+V/Ya+YfdoBIz4EXDI6INmbQNAV6UdphhVmayho+b+MQEmwAQaLAEKQ0xug5ctfRVznluAJUtfUPqanp6BRQuXib/n5y1GenpLJRKhkinMG6qCwDPPPINBg6o9HP35z38GHWssSU4NGPEj4HS4bQTMeqYGKm3gOAON5a7ifjIBJtDYCKiFIfZm8f4H7+CSPwxGQkKC9+Gwb6u+hpKxXJ8+fZRGeG8rBxvwhsPpfphbLIEbCyp+BDQcCpEbY9IImNlGoAHfSdw1JsAE6gKBgpX/QOmWb4JqynGLGQ7Pix4VlDjwQjS/cZxqmWphiL0vfO/9dzB/brW2wPtcOLdVBQGKkLR69Wr069cPFI538+bNEZdUwtl5rbIp8iAlIxoBaSNg0YpTYPdEHuTlg1rDweeZABNgAvWagK8wxLJDe7/bjTZntUFiYnVkQnku3J+qggCFAiYbgbVr14p2dOvWrc6EBw43GCpfGguaDWgEHNJY0KyKGLRigJIpjlcNRGJMuQ4mwAQaLwF6c9d6e9eiE+owxLK+L7/cgl69qjXw8ngkPlWfUi1atMCsWbNqtOP1118XEQlrHGygO4ogoPVW76P/Dp3LB5WAQ6wR8EGRDzEBJsAE6j8BGYZ4/txFp4Uhlr378cfvcdmlw+VuRD9VBQEKMvTSSy+hoKBANMpmsyEnJ6cRCQIeXwA6IgjWHjWpEdA0FqyyiUvNLAjURsj7TIAJMIEGQUArDDF18lT+KaSktIhKf1UFgaeffhrXX389XnnlFUydOhUbNmzAtGnTotLQaFQqYw1YzaqLK3w2TWoEtPwIyKkBDjjkEyMfZAJMgAnUewJaYYipg39/bU3U+qn6hIuLi8NVV12Fpk2bYsiQIWKa4LXXXotaYyNdsTOIMMR2nVMD5EyIEi8fjPTocn1MgAkwASZABFQFAZoKIAdCFIJ4+/btKCwsRHZ2dqMhp9gIGDEW9Cw9tGo5FKryCALsUKjR3FfcUSbABJhAXSKgOjVw7733iuiDU6ZMAXkVPHXqFG6++ea61P6wtsWu+BFQlZd8tkH6EbBo+RFgjYBPfnyQCTABJsAEIkNAVRDo3bu30ooPPvhA2W4sG8FMDThdbh8EWsaCLrtbI8DGgo3lruJ+MgEmwATqFgFVQeCGG27w2dpVq1b5PN7QDgbjYljaCGgZC0obATYWbGh3D/eHCTABJlA/CKgKAqWlpZg+fXr96EkYWiltBAx5FlSCDmlMK8ipAV4+GIYR5CKZABNgAkxAi4CqINCsWTPhXlirkIZ6XgoCZiN+BKSxoEk9+qDiUIhjDTTU24j7xQSYABOAvzDEhOatf60F+Rowm804r+P5mHrPfRElpioIHDhwQBgJtmnTBh06dECPHj2Rlpaqq4EVFRX405/+hEmTJqF///5Cs0BBjNLS0jBnzhyxEmH9+vVYuXKl6PyYMWMwduxYVFVViby0OoECNcycORNUfzSSFAQ04wX4aJycGtBrLGiOifVRCh9iAkyACTCB+k7AOwxxYWEBJt5xEwYPulR0q7S0BOvWrcHqVW/BarXi3vvuxt7v9qBrl24R67aq3nrZsmUYOHAgTCYTPvroI9xww/V46qmndDVu6dKlII0CpUWLFmHcuHEigBE91NetW4eysjJQ+StWrMAbb7wBsjsgD4bvvPOO8FuwZs0a3HHHHZg/f76u+sKRSUYfNFsDjz7o9MQa0DIWhGdqgG0EwjGCXCYTYAJMIPoE1MIQW60xsFhjUF5eDrvdjorKSiQ3S45oo1U1Al27dgUFGpKJQubSG75W+vnnn/HLL7/gkksuEVl37NiBGTNmiG1yTEQP//bt26Nz587ioU8nunfvjp07d2Lbtm24+uqrRd4BAwbg8ccfF9vR+Oewu8MQW82BCwKkEbCazEKIUmu70+Ni2MQ2AmqY+BwTYAJMIGgCX33wE37bmxNUOTRV7PQKQ9y2awb6juioWqZaGGJy3HfTX27BhOuvQWxcHAYPGoo2bdqqlhfqk6qCwKhRo4RLYXp4U6IHfF5enmYbnnvuOTz66KP4z3/+I/LSNAE5JaKUmpqKkydPir+UlBSlLApwlJubK47TNiWaLwFMIMdG8nrlglobKamJsFrV5+NrXaK5G58QJ/K0SE0CRZwKKP1sAjkT0rquKsaMfAApGclICrSOgBpUfzNrMay/PatfLedxiP548RgENwZNEuNgxOardq3eZVCZeseFNOsfffwBXn31VeUlmAIS/XPtarz/wftISkoSvnpOnjqKTp061a42bPuqgsDzzz8v1Pc0j9+zZ09s3LgRjz32mGpj3n77bfF2729en7QKvpK/44Dv/LXLyM8rrX0oqH0a2KKiclFGcWE5cnOKAiqvwlaFGJg0rystKBHlFpRUoTzAOgJqUD3NTOMQKPt62tU63Wweh+gPD49B8GPQ9ZK2oL9gkq9x0PMbtW37l3htxXLMfW4hKspcqChzP1O+27cX6WkZcFRZUZhfgU7nd8HWL3cgrUVrzWZSW0KRVAWBdu3a4dlnn8Xu3bvFG/7atWvRpEkT1Xo/++wzHDlyBJ9//jlOnDiBmJgYcQ1pBeLj40X0wvT0dLRs2bKGdoG0AT169ACdo22ShshwkAQELW2AaoOCOOkMxrOgy4EYDa+C1DRXlV20kI0FgxgovpQJMAEmUIcJqIUhPiPzDBz+/TdUVlYgLi4eP/74Ay666OKI9kZVEKB5e1LNy7fyiy66SOzv3bvHbyMXLFignHvhhRfQunVrfPvttyJyIU01kFaBDBDpof/EE0+gqKhIrA7YtWsXHnnkERAwinJI9gWbNm2Ct3dDpeAIbcjog0b8CJCxoMWkaospesHLByM0mFwNE2ACTCBKBLTCEI+9djzumXaneBZ26dwFZFwYyaQqCOzduzckbaFYBeSYiFYLZGZmYvTo0UJTQCGNJ06cKAzqJk+eLOZMRo4cia1bt2LChAmIiYlFVtaskLTBSCGKi2EDQYfsTgcsWgGHSMSqtImmsbGgkRHia5gAE2ACdZ+AVhji0aPGgP6ilVQFgWAbdc899yhF0EqB2mnEiBGgP+9E1pVZWVneh6K2rfgRMLRqwIWYADQCvHwwasPMFTMBJsAEGjUBbd11I8Yj/QhYDHgWlMsHtfC52MWwFiI+zwSYABNgAmEkwIKACtxgNAJVcMCsZ2rA5hAtMLOLYZWR4FNMgAkwASYQLgKqUwM5OTnC+Q85ByLvgh07dsTNN9+i281wuBodqXKDEQQcLqdwKKTVVhGG2GSCy2IRZpla+fk8E2ACTIAJMIFQElDVCNx///1iyd+NN96I66+/Xjj4ue++e0NZf50uSzEWNGIj4NQnCFAYYlO8VdMDYZ0GxY1jAkyACTCBektAVSNAa/jJsl+mQYMG4aabbpa7Df5TWT5oCdxjoZ00Ajr8CKDCBlNcTINnyR1kAkyACTCBuklAVRA477zzsH//flxwwQWi9d9//z06duxQN3sShlY5nW6vhmZTYLEGSICyuRzQDDhEywdtdphiVYchDD3jIpkAE2ACTCCSBNTCEH+++VOsWvU6rDExGDrkMoy55rpINg2qT6AtW7aAvAkmJyeDvOwVFxcjLS0dH3/8CejZSA5/GnKyS8+CAUYflJEHKdaAViKHQmwoqEWJzzMBJsAE6i8BtTDE9GxdtHgBli/7u3jWPvDgVFzyh8Fo2TIjYh1WFQQoMEJjTjLCVKCeBZ1wRy3U41nQabPDmqjutrkxjwH3nQkwASZQ3wmQp8ALOnUR3UhKagpyue9wOIQnwcLCAiQmJkIG4evZszd2fL0dI6/8U8S6rSoIUDwA0ghkZ2fjgQceALkBphgAFDaxMSQ5NRCoIEA+BChRGGKt5KqsAthGQAsTn2cCTIAJBE3g5IlNKC36Mahyjhw0Q/qYoYISm52HtJZDVctUC0PcvHkKysvK8Pvvh5GZeQZ27foG3bv3VC0v1CdVBYEnn3xShEUkAYDSvn378Prrr4OiEjaGRMaCtGyS/gJJtHSQkpaxINkSuMqrYGIfAoHg5bxMgAkwgXpJgGwBPvjgXcybu0hpPz1fHnroUTz73DNISkxEq1aZMryPkifcG6qCwKFDh/Dmm2/iL3/5i2gHLSH84IMPwt2mOlO+CBxkJM4APE6CNGwETA4H4HLBHMOrBurMoHNDmAATaLAE6M1d6+1dq/O+whBrXUPnKQzxqtWvizDESUlJNS65sGdvXLiotzi27KXFaJXZRqeH3AAAIABJREFUqsb5cO+o6q6tVrecIN+Iy8rKxNxGuBtVV8p32F0wGxAEHE45NaCuSRDOhCieI68aqCtDzu1gAkyACYScgAxDPDtrPpo1Sz6t/PsfmIr8/FMoLy/H1m1foE9vivQbuaSqERg+fLjwG3D06FE8/fTT+OKLL3DddZFd1hA5FKfX5HC5EKh9AJUiVw1YTOqrBsiZECWeGjidPR9hAkyACTQUAlphiK+66k+47/57xGq8CeNvRPPmzSPadVVBgDwKduvWDV999RViY2MxatQodO3aNaINjGZl5FnQbMSroGdqwApVhQto6SAlDkEczVHmupkAE2AC4SWgFYZ48KBLQX/RSqpPKhIAKisr0b17d7FagNQWdKyxJLIMNRJ5UBoLagYdohUDlNhYsLHcUtxPJsAEmECdI6CqEbjttom44IJOOPvss2s0vG/fvjX2G+qO0AgEZSOgPjUgQxBH06EQrVyQNiANdRy5X0yACTABJuCfgKpGYO7cOTjzzDNx8OBBtGrVSqweyMrK8l9aAztD0QeDmRrQcihUPTWgKo+FjWp5cQX+Metz/LI7O2x1cMFMgAkwASZQtwmoPoEuv/xy0J/NZsPmzZuxcOFCHD58GO+//37d7lWIWkd+BIwIAtJY0KphLFi9aiA2RC0OrJi87FJUlFShOK88sAv95C4s+BbFBd+hddvrYdLhTMlPMXyYCTABJsAEIkhAVRCgdnz33Xf48MMPsX37drRr1w733XdfBJsX3apcTlo1oKo08dlAijxIyaJlLChXDUTJj0B5aaVoZ5OmoRFEyop+gq0sGy5XFUymxuF90ucNwAeZABNgAvWIgKogcMUVVyAjoxWGDx+G5557DjFRemBFiydpBIwsH5R+BMwaQoQyNRAlY8GKEptAG58UGkHAbi+DyWyFyRSa8qI17lwvE2ACTKAxEVAVBCjWgMvlFBoB0gpQIsMycjPcGBJFhbIEGHmQuDg8QYe0pgZQ6X4QR2v5YLlHEEhICs3bu9NRBrM1gY0PG8OXg/vIBJiALgIUYGhm1gwUFOTDVlmJG2+8BQMHXKJc+9WObXjl1WWgVWb9+vbHLTdPVM5FakNVEHjjjTeUdlRVVYH+EhISlGMNfcOojYDeoENO6UcgWhqBYo9GIDF4F8e0+sBRVYbYJpELndnQ7z/uHxNgAvWfwJYvPsN5Hc/HDdffhOPHj+He+6fWEAQWL1mAObMXID29JaZMnYzBg4agfftzItpx1QlwMg68+OKL8e6772Lo0KHib9WqVRFtYLQqMxp5kNorjQU1bQSkIBClKZfyUo8g0DR4jYDTSQaHLlhjEqM1ZFwvE2ACTKDOEbjs0suFEEANO56Tg/T0dKWNR48eAYUlpil4mkq+qG9/fL1zh3I+UhuqGoHPPvtMhCG+5pprsHLlSrRp00YsIbzhhhsi1b6o1SPDTBqxEbB7pga0HApJGwHERmdOnaYGrHEWxMSo+zvQMwh2e6nIZrGwIKCHF+dhAkwg8gTeOZqDXadKgqrYst8Mh8NtEE4F9WiRhD+21taE/vWuiTh5MhdZM+co9eedOonmydXuhJunpODYsaPK+UhtqGoE4uLihB+B0aNHo2PHjoiPjwepgBtDsjvc/TRbAn9ISmNBLRsBxaFQlDQCFcU2NEkKflqA7genw/3lMrNGoDF8PbiPTIAJBEjgxSWvYOYzs4W9gL/nqL/jAVYVcHZVjUDPnj3xv//9D9OnTxcFP/XUU+jfv79mJeSKmK45deqUcFE8efJknH/++eKYw+FAWloa5syZI+IXrF+/XmgbSC0yZswYjB07Vtgi0PXZ2dmwWCyYOXOm0EZoVhzCDGQfQMmQRsDljj5ogboQ4bJFz1iQbriKUhvSW5weCcsIRnuVWyNgZY2AEXx8DRNgAhEgQG/uet7e1ZoSaBjiH37Yj5SUFkL937HD+aBnIBkO0rH0tJY4lX9KqS43NxepqWnKfqQ2VDUCDz74IAYPHqy0ZerUqbjggguUfX8bmzZtQufOncUDfv78+eKhv2jRIowbNw6rV68WD/V169aBwhovW7YMK1asABkmkv1BQUEB3nnnHTRt2hRr1qzBHXfcASoj0okGi5KhMMQy6JCGUx2pEYhG9MHKMhvI3UF8iHwI2B1lgpfF2niMSSN9T3J9TIAJ1D8Cu3Z/i3/8c7Vo+KlTeSLUcLJnOiAz8wzxHMzOPga73Y7t279E3z6RDUFMDVPVCFD4YflwpszkYfDrr78G+RdQSyNHjlRO01s9LUPcsWMHZsyYIY4PGTJEPPzbt28vBAZ66FOi4EY7d+7Etm3bcPXVV4tjAwYMwOOPPy62I/nP7pkDMqIRUIwFtQQBu93dpShMDZSXuAMehcqHgNNjI8AagUjepVwXE2ACdZ3A6FHXIGv2M7hryh1i+eA9U+7FBxveRWJiEgYPGoq/TbsfM55+THSDIhC2adM24l1SFQRIPT9w4EB8/vnnGD9+POhNf9asWbobSdfk5ORgyZIluP3228VUAF2cmpqKkydPir+UlBSlvBYtWoBUI3SOtim5nfKYhBBCoZD9pZTURFit6qp4f9f6On4iz63qTkiMBamCAknx5e5595SUJNVryzwBjVLPSEF8gHUE0h5feUtPVYjDqRlNVdvo61pfx4ry3dMc6a0yEN8kMF6+yvM+Fih/72t5O3QEeBxCx9JoSTwGRsmF9rrAxqEZlix5wW8Dhl8+BPQXzaQqCJDV+6RJk/DFF1+AVgpce+21uPfee0Fv6XrSm2++if379wvbAG8jCO9t73L8HadlaVop3/Pg1sqn97zD8zZvr3QgN6dI72UiX2GRW01eWmhDrsn/teVFbmGjoKgSlgDrCKhBPjIf/z1fHHWZXAH3z0dxKC0uEIcL84HiIv999nWt2jH6wgXKX608PmeMAI+DMW6hvIrHIJQ0jZdVl8aB2hKKpGojYLNVCoM98iZIwYasViuOHTumWe/evXuVfGRTQPPt5IiIPCxRIi0BraWkKYO8vDylPNIG0DE6R9uUyIkRCQhq2gClgBBuyKkBIzYCdo+NgGb0wUq3eh5RmRqQzoT8a1kCwSndC5stoSkvkLo5LxNgAkyACRgnoCoI3Hrrrdi6dStuueUWYdFPmgCax9dKZEfw2muviWy5uSeFMUS/fv2wYcMGcWzjxo1iyqFHjx7Yt28fioqKUFpail27dqFPnz5C4yDz0nRE7969taoM+XkKQUzJiI2A9EFgNatPVUg/AtFwMSzjDCSEKM6A014G9iEQ8tuQC2QCTIAJhJ2A6tTAsGHDlAZ8+eWX4mGdnKy93IxsA/7v//4P119/vdAC0HaXLl3EFAGtFsjMzAT5JqAgRtOmTcPEiROFf3paZkiGg2RsSALIhAkTEBMTi6ws/XYJSoOD3JAOI4xEH9RtLOjxLIgouBiWgkAojAVJY+OwlyE2oVWQ1PlyJsAEmAATiDQBn4JASUmJMPA7dOgQevXqJTQCNC2gRwigDpDjoXnz5p3WF1omWDuNGDEC9OedyHdAVlaW96GIbwejEZBhiM2aYYjdqwZM1tA49QkEUigDDinuhXnpYCBDwHmZABNgAnWCgM+pgSeffFI0jpz7HDx4EOQDoLElu8ePgLHog24fBHo8C5riKGyvKeJ4afmgJcYsXAwHW7niXtjK7oWDZcnXMwEmwAQiTcCnRoAMAufOnSvaMmjQIKERiHTDol2fw+5xMWwO/CEtow9qTSs4bVUwxUVeG0BsK0orhXvhUAghinthFgSifdty/UyACdQxAlphiCsrKzFnbhZ+++0QXl7+elRa71MQoGkAmUhN3xiTNPgzGxAE5LVWTRfDJAhUs44UZ5rTLy+2oUWm25FTsPWye+FgCfL1TIAJNFQCWmGIl764EOee20EIAtFi4PMpVPstsfZ+tBobyXpl0CGtt3pfbXLIWAMangVBGoEoGApWVdjhtLsQnxiapX52hyfyIGsEfN0OfIwJMIFGTIDCEMtUOwwxHZ90x10oLCzEJ59slNki/ulTENizZw+GDh2qNCY/P1/sU+BBms6mJX0NPQWzasAhwxCb1LUprsoqWJolRRxlWYnHh0DT0ExL0IoBSuxeOOJDyRUyASYQAIG3PvwRu/blBHDF6VnNVpN4kZJnenTOwJjLz5O7fj99hSGmzAkJiUIQ8HthBE74FAQo6E9jT8qqAatxGwHNqYFKOxAFGwG5dDAhKS4kwyzjDHAI4pDg5EKYABNogAQoDPFPB34QYYhfe2VVVIzE/WH1KQiceeaZ/vI3muPSWDAYh0Ja0wrCWDAKUwPlpZViHEPhQ4AKcsiAQ2ZeNdBoviDcUSZQDwnQm7uet3e1rgXqYlgtDLFaPZE853P5YCQbUFfrsjudommGBAGK70uqcpWpAReVX+WMio1ARbHbtXGTUIUgtpfBZLaC3QvX1buZ28UEmEC0CKiFIY5Wm2rX61MjUDtTY9yn+AiUtN7qfbFxeAQBi5pDIY9XQVNM5IdAOhNqEiJjQXYv7Osu4GNMgAkwAUArDPGjj09Hbu4JHDl6BFOmTsZVI6/G5cNrOtkLN8fIP4XC3aMQla/YCBhYPiiDDpnVNAI291u5ORoBhzxTA01CEGeA3QuH6IbjYpgAE2iQBOLi4vHk48/47dszTz3r91ykTvDUgB/ScvmgoeiDTo9nQZWgQ2QfQCkaDoUUjUAIjAWdDlox4IKVlw76uZP4MBNgAkygbhNgQcDP+DjswdgIeKYVdEwNRCXgUHEVSMCJbRK8QsguBAHAwnEG/NxJfJgJMAEmULcJsCDgZ3zk1IDVHDgishEwwwSzikMhV5V7LX80HAqVl1QiPjEmJMtXnFUlgiCHIPZzI/FhJsAEmEAdJxD4U66OdyhUzbM73BoBk8WIHwEXYlSEAGqjS9oIRCHyYEWpDfGhWjHg8SrIPgRCdedxOUyACTCByBJgQcAPb6kRsFgCR0TGghYV+wBRZZRWDdgr7bBXOhEfAvsA6od0L8xeBf3cSHyYCTABJlDHCQT+lKvjHQpV85wOd/RBq4FVAw6nQ1MjUG0sGBp//3r7XV7qnpJISAqVe2F3nAE2FtQ7ApyPCTABJlC3CARvLVa3+hOy1sgIgkaiD9pdTli1pgY8GoFIGwvKFQOh8ipIPgQoWSyRj5kQssHmgpgAE2ACYSKgFYZ45zc7sPzlF0Ha5zNbt8H0hx6F2YBtWjDNZ42AH3p2ZdVA4Igo+qBVbcUA1SmXD0bYjwAZClJqEqKpAele2GJJ8EOSDzMBJsAEGi8BGYZ40cJlmPHkTCx9cVENGPPmz8bTM7KwdPErKCsvw7btX9Q4H4kd1gj4oVwdfdCYsaBFxZkQVSlXDZgjbCxYXuL2X0CrBkKR7MK9cAy7Fw4FTC6DCTCBBkdAKwzxyy/9HYmJbo1q8+TmUYlEyIKAn9uu2ljQgCDgdCDOoo7WKY0FIxx0qLzYbSPQpGloIg9SCGLWBvi5ifgwE2ACdYrAG0ffx5a8/UG1ieLPyOcDFTQw9QL8pfWVmmX6C0MshYCTJ0+CpglunzhZs6xQZwhc7x3qFtTR8uTyQYuR5YNwqAYcoi7L5YOmSE8NhNi9MNkImGN4WqCO3sbcLCbABOoIAQpDPPOZ2SIMMblm9075+afw8CP3YdrU+5Gc3Nz7VES21V9bI9KEulmJXDVgJPpgQMaCcaFR0eulWFHi0QiEIM4AuxfWS53zMQEmUBcI0Ju7nrd3tbaGOgxxaWkJHnhwGm67bRL69e2vVnXYzrFGwA9auWrASPRBPYKANBY0x0R2+WBFSRVoQUNcQvD12h0er4IcZ8DPXcSHmQATaOwEtMIQL16yAGPGXIf+Fw2IGirWCPhB77C7VTdGlw+aNRwKRW1qoKQScQkxMNKv2qicVXLpIE8N1GbD+0yACTABIqAWhviifhfj4082ihDE773/jgB26dBhGHX1NRGFx4KAH9x2pyfokDVwY8Eqp/byQWksiEjbCJTYkNg83k+vAzssvQqye+HAuHFuJsAEGg8BrTDEH334edRhhE0QmD17Nr799lvY7Xbcfvvt6Nq1K6ZPnw6Hw4G0tDTMmTMHsbGxWL9+PVauXCkcKIwZMwZjx45FVVWVyJudnQ2LxYKZM2eiTZs2EYUlbQQCDTrkdDnhpLC8Wg6FbHbRn0gGHbLbHagqdyC+dfDTAtR46UOgtnvhZq2GhmysyOtBs5CVFp6Cio5vCk/BXCoTYAJMIAIEwiIIbN26FT///DP+8Y9/ID8/H9dccw369euHcePG4corr8S8efOwbt06jB49GsuWLcPatWsRExMjhIDhw4dj06ZNaNq0qci3efNmzJ8/HwsWLIgAjuoq5PKQQFXoDng0CZp+BNzr+SMpCFR4lg4mhMBQkEhJjQC7F66+b3iLCTABJlDfCITFWLBv375YuHChYNGsWTOQi8UdO3bgsssuE8eGDBmCbdu2YdeuXejcubN46MfHx6N79+7YuXOnODds2DCRd8CAAdi9e3fEuSrLBwN09UghiClpuoiUngUj6EdAxhkIVeRBdi8c8duSK2QCTIAJhJxAWDQCpM5PSHAbkNGbPz3MSUtAUwGUUlNTQc4T6C8lJUXpVIsWLZCbmyuO0zYl9wPVBJvNplyvXOC1kZKaCKvV4nUkuE2nx1iwVWZyQIZ1JR4DusS4ONAyE3+pyOQWGNLOaAFrs6b+soX0eMFxd4CgtFbNVNumt9KTx93uijMyW8FirZ5ucB/VW0r9z6c2zvW/d9U9aCz9rO5x3dviMagbY9LQxiEsgoAcqo8++gj//ve/8eqrr2LEiBHyMGo7U5An/B0HajpfkPm9P/Pz3A8572PBbFMEQZiAvNzigIopsruX1DlsLuTmFPm9tqKkXJw7VVABU7l2//wWFMCJE0cKRG6yY1Brm94iy8sKYTLH4FReBQD6cyf/4o/M0bA+Q8GyrhOhH77G0M+6PA48BnVjdOrSOIRKIAmbIPD5559j+fLlePnll4Xqv0mTJmKKgKYAcnJykJ6ejpYtWyIvL08ZXdIG9OjRQ5yj7U6dOgnDQRIQpDZByRzmDYfDBWPOhByiZXqNBSO5akCZGgiRjYDDXq7bvbBegzqny4VZ+w6i2ObA413PQbszU+rUAyiUhpBhvoW5eCbABJiALgJhsREoLi4Whn4vvrgMzZu73SWSseCGDRtEozZu3IiBAweKh/6+fftQVFSE0tJSYTPQp08fMZUg85LhYO/evXV1JpSZaPmg5jy/jwr1OiIiPwKmWAtMAdog+KhS96FQRh500eoIijMQk6i7fj0ZvyssQX5lFXqlNUViTOimevTUzXmYABNgAqEmQDZyjz3xMKZMnYxJk2/Bli9qLhdc/99/Y9Jfb8Wdd0/E3HnP+tWYh7pd3uWFRSPw3nvvoaCgAPfe+zelrlmzZuGxxx4TqwUyMzPFigFaKTBt2jRMnDgRJpMJkydPFtqDkSNHCpuCCRMmICYmFllZs5RyIrVBNgJG4gyQ2p2SWWP5IHkWNEXavXCxe6VCk6bV8/lGeTodNLXhgsUaWmdCn+ecEk0a1DLVaNP4OibABJhAnSEgwxDfcP1NOH78GO69fyoGDrhEtI+EhE8//QRLFi2H1WrF1L/dib3f7Ua3rj0i2v6wCAK0TJD+aqcVK1bUPiRsB7ztBygDGRtmZWWdljeSB+jN3mQO3JmQHZ6pAai/zbpsdphiwoLfL6ZyT5yB+MTgBYFwuBf+vawch0rKcV5yIjLig2+jXxB8ggkwASYQIQJqYYhpqnzB80tES0goKC0pQWqLtAi1rLqayD6Jquut81t2shEwEHnQ4ZI2AuqCgNNmi7hGoLy0ErEJVlgswc8I2e1u48xQhiD+PCdf3BeDWlavJKnzNwo3kAkwgXpDoGDlP1C65Zug2nvcYobD4db8UkGJAy9E8xtPf/GtXYm/MMSUb+XKv+Pt9eswetS1aN36zNqXhn0/+CdC2JsYnQqcDqcxY0GPRkArWJHbRiDCkQeLbQi5D4GYpJAMUIHNjm/zi5ERH4eOTUNrdxCSBnIhTIAJMIEgCKiFIb7xxpvx5up/YcfX27F7z7dB1GLsUtYI+OFGngWNvDlLY0GrlmfBSjuQEjn8JMFWltqRkhGaB7d0LxwqjcCXJ/OFkcwlGSnCXoSGpaisEiVHCpB7ohi0ioPYlhYcRfP4CpjsdjjtVXDY7bDZLGjZphtMLjOcTheqbFX4vawAzjgX7E4XbHYnqux2IMmGTme1gt3pgN3lAMV7SDlViTRTU7gcDoDy2B2wZraEJS3y6jnvW5FWytjK7SJAlDxOBpouOGA2RVaAlPXzJxOo7wTozV3P27taPwNdPvjDD/uRktICGRmt0LHD+cLNfkFBvjhWVFSIXw7+jJ49eoFiEvTtcxH27t2D7t16qjUh5Oci9yQKedPDWyAZC8bEBa4wUYwFoX6tq7IK5ggaC5YWuP0WhMJQkMhXVbl9ElitwQsW9LDemluABKsVvVq4vRAUldjw+MLNsNuqVXDN4rJx+1dbYHbPvgjChcnp2H0WxTbYqdwQJzrY8ftvNfkXnf8r8s49DBQq2XDbpgL02lKJ7OpDYsuamYLWy5+rdTSyu3s3/4ZvN/6CMQ9cjMTkJqLyvBObUFywD+063A2TRnTLyLaWa2MCTMAfAQpDnJNzHFPvuQ+nTuWhvLwcycnu1XQUi2f27Jl47dVVwgnfDz/ux/BhV/grKmzHWRDwg5ZcDDexBI6H3jQpqWkE6G3PZXPAFMHIg4e/Pyna1epst8dGP93WdZjaX1b8C0yWWMTFtdJ1jVqmA8WlKLM7MDAjBTGe5ZTffH9cCAGdu2QgLTkONNUSv3u7EAKO9k2FKb05TBYLjua1FQ/3tt1bICk5SWhx1vz0G4VEQvp5sYixmEALOHLPzIXVZcGoVr0RY7Ei1g503/VfOFKaIOXS/qIsk9UCk9WK2HPaqzU37OeI74GvjwqPlnEeo0mX04GSgn0wm60QHQp7K7gCJsAEQkFALQzx4EFDQdMC0/52J8wWC845+xz8YeDgUFQbUBmBP+kCKr7+ZnY6jdkIVAcdqvlGWoNElQw4FDn8v+49IZ4fbS9Ir9EUIzuVFcfgqCpBUvMLQvJmuivf7YGxR/NqV8vf7Dsumnbn9b1AKyxoPL5bdwy2OODC+/8P8U2awmF34udZnyExxYoh1/UUUwq/n8xD5RcHEdPCgicmuL9Qh8qOYcu+jzA0tTNuafNHUW75zl04UWJH8phBaH6TtqGPEU5Gr8nPKUFRbjnadm0Ja5zb6LSs7BCcjko0a95ZmToxWj5fxwSYQOQIaIUhHnnln0B/0UwqT6toNiv6dTsM+hGg+WdKasaCZChIKVIagdLCcuQeLkTG2SlokhQn6g7mX0nRD+LyxGbnBVOMuJamBb4rKEXzmBi0TXSrwAtLbDj4awHanJWMtBS3n4LDB75B8jE78nqmCyGALj76c54Iq9yuS0vl4fj+zp9Eued0cJdFO9vyvxPHLm7RRXzSv/IvvxbbTS7uoxyrKxsktFFq362l0qTSoh/FdlLT4JkrhfIGE2ACTID83jAF3wTIWFDTKZCPS2X0QauKHwGXRyNgjlDkwUPfeR4sXasfLD6arusQqa1Li36CyRyLhITgVeg/FZeiwuFAtxZJMJvcfhu+/f64CC/Rs0v1tEP2lv+J9jW5qJfSzl/35Ijt9l2r8/30c5k4dkWvs8UntfeLU98hwRyDXh7BhfiXbt0NsgWIPdedTyk0yhvU3kN7j8MaY8ZZHdzaG5oWKC3+WXhxjGsS+aVFUUbC1TMBJhBmAiwI+ABMP8YusWogcIdCirGgmmdBj0YAnmiMPpoQ0kO/KdMCwQsClRXZcFQVI6HpOTDRfHWQabdnWqB7yunTAr06udtL0wKJX/0ipgXOu3i4qJGmBQ7/kIvElDiknek2MBTTAiccYlrg3Ay3cPBreTYOVZzCRSkdEWt2Oymq2LMPzuIKJA64UNEkBNmNkF0upwVan59WY1rA5agEaWDIAycnJsAEmEAoCbAg4IMmaQMomYPxLKiyfJCWrVGKxNQATQuc+K0QGe1DNC1Q7JkWSA5eRU3xHOS0QJuEmtMCZ7VphhYea/nqaYE0XdMCZ5+rb1ogoX/kY1iIgVf5x9MCKnD4FBNgAmEhwIKAD6yKIGDAA58IX6xpI2ATtZoiMDXw675cUVe7kE4LxCAxIXiV+k/FZX6nBS7snKmMTPW0QPWDW04LtOuSoeST0wIjLnRPWXhPC/T0MS0Q0+Ec5dq6sMHTAnVhFLgNTKDxEWBBwMeYk6EgJauByIB2T9Ahi4qNABSNQPCqdR/Nr3HoV499QLtQrBaoPA6HrShk0wJytYDWtEDCVwf9Tgukn5Us+ltjWiDTLUQc9poWiOdpgRr3Be8wASbABCSB8D+JZE316NPpcgsCFgNTAw4ZdEhlakCuGgi3sWBZUQVOHCpAxtnN0aRpfNAjENrVAk7sKyhFcmwM5LQAORGi1QLe0wIHdm9H82NVyL4oDR2auO0I5GqBjr3PUObM5WoB72mBL1VWC9TlaQFv7U2pZ4VGUtPzgx4/LoAJMIHIE6BgQjOzZoC8CdoqK3Hjjbco0Qe9W7PspcXYt/87LFq4zPtwRLZZEPCB2UHuZslGwFDQIe0wxNU2AuGNsPfrfvdqAe8Hi4/u6jpEauuyQlotEIOEpNBNC/RNa6asFvjmhxyxWuDCTtWrAA5t3Ahy9tvkouppgUPfuVcL6JkWaGKOwenTAs1Rl6cF2nT0Xi3wi2e1QGtd48SZmAATqFsE1MIQy5YeOvQL9uzdBYsBJ3ayjGA+eWrAB71qG4HALbQVjYCaC1hl1UB4fcZLw7N2FwS/WsBWmQN7VaEQAkLh697ntMB3bme/vTq75/1ptUDMtgNiWqBj/+rVAr/vd68W0DMt0D+lI04AvzqWAAAgAElEQVSfFuilaBJ8DH9UDvFqgahg50qZQNgJUBjiG66/SdRzPCcH6emnO3VbsvQF3HbrpLC3xV8FrBHwQYac3FAyNDUgHQqpuGhw2cO/aqC8uAI5BwvQsn1zJDQLwbRAiFcLyGmBtp7VAr6mBY789C2Sj3qmBRJqTgt00JgW2MrTAj7ubD7EBBo3ga8++Am/7XVrFI2SMFvMoOi0MrXtmoG+IzrKXb+f/sIQv/f+f0WQoTMyo6f1Y42Aj2GjCHaUjAgC0lhQNdaAzb1qIJw2Ar/u96wW6BK8NoCmBdxOhKxISAre0l46EeqRkqS8mfuaFsje8qkYB1/TAu01Vgtszv8OPC3g4+bmQ0yACUSFgK8wxBR9cMOH72P8+Bui0iZZKWsEJAmvTwrZS0nNTbBX9hqbMuiQRU0jEAEXw8q0QAgEAVvlCdgrC5DYrGNIQuDuyi8WzLp5OxHyMS0Qv8O9WsDItMCv5adEbIHa0wJJl1+sCB81Bi6KO3JaoHZsAeFEKIKxBUjg+7W0HGc0iUecgaWzUUTIVTMBXQTozV3P27taYaEMQ/z1zq9QWFiAu6bcAXuVDdnHj+OFRfNwz5T71JoQ8nMsCPhAKm0EjGgE5IoDNffEVcfdb+vmZtXe9Hw0w/ChYz+fwvFf8sW0QGIIpgXKSg+KtiQ001Z/aTWa+OyXsQU80wJlFVXu2AJnVjsROnboO7FaIOfidHTwTAsc/zVfxBbocGH1aoGNuw+IKtufWz39saNwvzjWP6Wz0pzyb93xBhL7VbsoVk5GeUMR2rx8PUR6tQAJAe8eO4H/Hc/HVWe1xJCWwUepjDJWrp4J1AkCamGIhw4ZBvqjlJ19DLOefSriQgDVzVMDPm4Vh8MzNWA1YCwowxCruN8t//o7mBJiEXveuT5qD+6QrdyOLf/eJyIN9r2yQ3CFea62lbtXH8THnxF0eb+XVaDc4UDH5ATlzfz7g3litcD5HWh9gDtlf7tNbCT2rg4UdPRAnjjWumN1vp9/KxfHBnSqnl/bVfgLzDChe9NqvrZffgNizLCe085dQR36/+v/t3cd4HEU1/+31+906l2yVWy5G1dscIxpBhvTQm8JgUAgtAQSkhASSgihhSR/WkIvgUAAA8H02ECorhh3W7Ily5KsepKu97L/783e3p3kk6yT7mRZzHzf3c7Ozk75ze6+N2/evLezHUq1AmXhfolikLl5VqrToNVH+5WqJhMT8E6zxAQU6DSYmyOZbE5VfbxcjsB3CQFyQ2y2mNms/5bf/hI//9kv8eFH7+Gzzz8dMTBwiUCcoZAlAoMyMRxmBJR92IQPtLbD39ABw7EzUmJieN371XCavZh50jjkj5GM7cTpYkJJXp+JbRtUqYdeXo1Ncgo0KSMt0oZddRKBnzo+SuDFbdJMf+KixZF8LXu6oFQJKKzMYmn+YBD21gAEvQKzyseyNHfQg22OZkxNL0GaSvJcKAaD8NU1Q1tZDIU6tVs2I40dYMTS4YC1zYWyaflQaaXX0eVqYC6H08nNcx/P0QCLP2g2YgLeburAVyYzCnVaXDNpLDJU/LNwUOB4Bo7AABE4mBtiuZji4pJDYkOA6ucSAXkUYo6yjoBiEJYFD+Z90L1pK6tJP+eImBqTE923ox21G9uQOyYDM49PzsxXDAUQ8Jih0eUnhSiRoiDJWSamRxmBmr1d0OpUqCyVZqJ+nwfZu6ywlKpRUi5JNdwOL8ytTuRXZEGtVjLA1tftBXwisoqVUCqltJ2OepDC5uyMqDQg0NwC0e2HuqosOUAnsRTZ8mN5jC7HcLkcpmWaN/e3MyagSK/FtRM5E5DEoeVFcQQOGwQ4IxBnqGSJgGoQlgUjyoJ92BFwfysxArpZM+PUPPgkIpSr365mIuZjz58KZZKUvXw+0mcQGSMw+NZJd3qDITQ43Cg16GBQSYS7w+yCuduD8RXZEeXM+m1roHGLcE2PLkU013azQkon5EaasaFGWrKYUBFlKrbYJEnCjPTo7gbf3gZ2j3ZceeTekRLZt6ODGa4qmxQ2IiSG4LLXQqEyQJdCl8MkCfhPYzvWdFhQrNfimgljka7mkoCR8lzwdnAEhhMBzgjEQZsM2VAYzNJA5N44bohFrxeeTXugmVgCVW52nJoHl0Qf9a/f3gWvw485S8cjq8A4uILi3OX1SsRWoxv6NsQ6hws0C52UGSXckWWBqiiB79ryLWtJxowos9RaKy0flIyPKrHtb/SwfCdMixL9TdY6GJQaTDRGZ/8yI6AelxwpSRyYBpVk63LC3OJAyYQcaPQSEfa4GxEKuJGWMQFCnGdoUBXFuYkkM6s7LSghScCEMs4ExMGIJ3EEvisIcEYgzkhHDAqpEocnIPsaiON0yLNtJ0RfEIa5yV0WqP22BU07OlE0PhvTvhclgHG6lnCSzyPtcNBqh84I1FidrP6J6dLaPZ3sChP4KeOjjIB6ewOCSqByziKWnxgdkghojWrklkg7LaweF9ymIFRZSozNk+7t8lmw192FORnlUAnR2a23tgFQCtCE9QgSBiFFN0Q8Q8YsCzhsNaw2Y9hbYiqqJjz/2yoxVhdVFCEtvNSSirp4mRwBjsDIRyBxSjfAPtXU1GDJkiV46aWX2B0tLS340Y9+hB/84Ae48cYb4Qsb1VmxYgXOO+88XHDBBXj99ddZXr/fj5tvvhmXXHIJLr30UjQ2Ng6w1uRkC4W9Dw7GjkAwoix4ILTysoB+TnSmm4wWb/5kL1RaJRadm3zlMq8nLBHQHGgWM9G2k9thtUKBijQ9u5UMN9XWdyMrW4eCbIk5cFg6kbvXja4JaTAYJaVAS4cTbqsPJA2Qlec+374HgggUlEQJ/hZbLSt3Zox+gBgKwVe7H+rKIgiakaUoSNsGyZ9F2RSJyRLFEJy2PVCo9NDpk8vQxY4VSQNoiWZqlhGl4S2csdd5nCPAEfhuIXAgtUpC/10uF+655x7Mnz8/Utqjjz6Kiy66CC+//DLKysqwfPlyUL4nnngCzz//PF588UX861//gsViwbvvvov09HS88soruPrqq/G3v/0tUs5wRIJD8D4YiNwrrYHL7aVZmHv9diiyDFBPjIqy5euDPfo9ATjMXhSUZ8KYLRHYwZbV+z5qs99jgkqbBYVyaETU4vejw+PFuHR9xL1zfasVHk8AE8flRgj83m+/gCIIBKdHxfjkbZBCSVV0WWBrnYWlHVEVXWLZGmYEZsQwAoGWVqYoqK0aWfoBDrMbXfttKByXDa1B8jnhce9HKOCCIb0qZcsCTBrQIuF5SnFUCtN77Pk5R4Aj8N1BIDqdSmKfNRoNnnrqKfaTi92wYQPuuusudnrCCScw4l9ZWYlp06Yxok8XZs6ciY0bN2Lt2rX4/ve/z/IuXLgQd9xxh1zMsBxlO9KDMigk+xrotb4baNqPQLsFxsVHQhjEboS+Om4xSeL2zIKouL2vvImmBwN2to1NF7PenmgZcv7d8rbBmN0Cu2o72eWpMcsCzq3bQZsU8+ZEvQ221MmKglFGwNTsh6gEjpsq7Q4IiSF8a9uLQnU6SmOWMfx797E6NONSN8OW+5jIkZQEKVTGGBFy2KVlgbQULgswaYCTSwMSGSuelyMwFAQO5ob4wovOQl5+AeRdanfcdhfy8yXHa0OpN5F7U8IIqFQq0C82EBjEIFDIzc1FZ2cn+2VnR2d0OTk5MJlMLJ3iFCRwBLaUIN/PLqTwT941MBhGIICweeJeOgKejVtYi/VJ1g8whxmBrPzkKQjK0Hq9knMOjXboywI1NgcrNlZRsDpsP2ByZXRmmra9FZ40AeMnS9KkQCCI9r1mZBQakJYpSTwaTCYErSHoC5XI0EsMUIOnFV1+F07LmxWRLlCF3r3SspJ2hCkKNmzvYEafyqbIuwVEuGy7oVBqYTCkRnrBpQHyk82PHIHhQ2AgbogffOAhGAzJn8wNtJc9qfVA7xpiPvogxQt9pTOzc/FuiEnLzk2DKrwlLSZ5UFFdmjRTzcw2gOxKJxIUDZI1wqLCLGhjxOnd23YBgoDSk78HVWZiZfZX/3aHROjIKl2ibe2vXLrm9dhYlvzCcuTkDbzN3jgF1zk8yNJqML0sjxFql9uPxiYbyiuyUBlmBBrrdiKzPYD2o/NQPEYyLtRQTX4OQqg6ojjSv3+v3shqqKiMjs/HdetY2sKy6ZF8lNDduJ8pChbPmwaFPmqGOE4TB5QUr2+J4m6zuNDRYMWYyXkoGy8xAnZbA4J+J/KKZ6OgKMocD6hRA8y01WRFg9ON2UVZmFWZ+Iwj0X4OsFk8WwII8DFIAKwUZk1kHC6+5PxIS/Y11qCkpKjHN4q8GeYVpCMtLbqbKnLDMEWGjRHQ6/UgqYBOp0N72CdzQUEBurqk9UrqL0kDZs2axfw1U3zKlCkgxUFiEA4mDTB3SSLyZOBms0pma50OD0ztEjEcaLlur+RZ0NzhhFIhbW8LOZywf7sH2ukVMFNSmMAOtMz+8rU1SmJzQSUk3Nb+yqVrls79LIvXnZ5Q2fFYBrvPj7m5GejskBwObd7dAVIWrCrLipS94+OVILKomFoVSdu3UxKhZ5ekRdJ27JbGZG5VfiRtdcsO1tZKcUwkjRQFHTsaoK4oRJfNB9BviCFe3xJ9RnaulZi30kk5kbZ2tktbJpXqykjaEJva43Z6h16vkeo9PieKeY9M/ZzQhy/RfvZTHL80CAT4GAwCtF63dHZ8CtlgV69LAz4lJfJgeIs53URLeXkFJx70/lg3xLHvEi1F//aW36OtvRVHTJ+Ba356Qw+pZn8FJ8KQ9FdOSpQF41V41FFH4aOPPmKXVq5ciWOOOYYR/R07dsBms8HpdGLz5s2YN28eSC9Azvvpp5/iyCOj68Xxyk52mmxZUDWItfxAWEcg1umQd8t2ICjCMDdqNz9ZbbZ2OKExqKBLG5oyX7z2eD1kWlgDZRJMC1P5sWaFq8MKgLFmhQNbd7NmjJlzTKQ5DTtMTLO+uFJaKgoGg7C2BAGNgCPHVbJ8vpAfm+2NmJRWiAxVdIkk2NYO0eWFdoRZFGzYJjE3FVPl3QKym2cNDIaokmQEhCREauxONDrdmJ5lxJgkSEaS0CReBEfgO4VAPDfEBMBll12Jn91wEx556HHs27cX//vs42HHJSUSgW3btuHBBx8EbRkkXYFVq1bhz3/+M2699Va2W6C4uBhnn3021Go1brrpJvzkJz9hHNA111zDFAdPO+00rFmzhm0fVKs1uO++e4cVmIjToUFYFiSlNZWg6MHRucJmhXVJ3jZIDIu9y4388swe9SUDrJDoR8BnhtZQnLSyJ8T4F6je28VMBY8fK20RJBec2Tu7YS1UYUb5JNYFr8uPtgYzCsuzoNZJj+rGhgaI3hAyKtRQh80KVzvq4Q0FMCuz524MX0RRMDVr7gfDmWbh1ev3w+3wR7KKYgDQ78bk41Rw+zYwWwhkQCjotyMtcwqEfpxVRQo5SGSP3QnaqknOnciaozsYQrNTWtQ4uSTqz+EgxfDLHIFRhwDN3Acye++v44lKZqqrdyI7OweFhUWYOGEyaDJjsZhZGtVz6rIzItXNn78A9fV7gRMiScMSSQkjcMQRR7DtgL17QNsEe4dly5aBfrGB7Mbfd999sUnDGieRNQVycJNoIDv3aiG6dZDE0+71O6DMz4C6Irma67ZOF8QQkJmf/LUln5f0JMi08NANCRGGZMZWdmbTbXWj0+TCpIl5UIVNIe+rXg+dU0T3UUURyFvIK2EIKJ4Q3S2wblcbu15VHlWs2WyX7AfMivE2SJlki4KaykPDCDTv6cbat6WdAHKnCiaaMOUoacnF2iHtaJCvGbOmytFBH+3+AJ6tbYY/RnQpFzY/L5NLA2Qw+JEjMEwI9OeG2OFw4M4/3Ir77/sbmxhv2boZxx07zFwAgJQwAsOEb8qqCQzBxDBZFiSJgBz8dfsQNDthPPV7SZtZy2VbTJImflZKGAFJfJ0Mi4LU3kmZUcK9kwg8gCnjorsFur79BsQCpM2MWl0kQkphTIz54aYmSe/i+OlR4k5uh7UKFSYbpaUCdhMpO9Y1MgVNTUU0r3xtOI6N1RKGR581CfIYefwrQTan8kpOhVqdDoGYRkEBhUILjTaKx2Db91lHF2MCaOY/M8sInUIJvVIBjVIBRYo9GQ62zfw+jsBoRoDcEN/3wJ+YG2Kf1xtxQ5yWZsTxx52I+fO/h2uvuwIarRZV4yfgxBNOGnY4OCMQB3JZR0DZh+OgOLdEkkgiEKtb4K2R1r31R0yJ5ElWxGKSXPpm5keJbLLKjlgU1A196yC1KdbbYPVeicBPiSHwih0NCCmBcXOOZV0gsXrrni5o09TIDXsldHm8cLUHocxQYFyBJDmwBOyocbbjqMxx0CgkwzxUALMouKcJmvICCIdgTZzav7+6E2q9ChOPLGVOoMiT477dLVBpspGRlXx9EVsggK87rMhSq7G4MIdZcUzW88DL4QhwBAaHgOyG2ObwQa9TQt1rd9uFF1wM+h3KEJ26HspWjLC6I0sDg9ERCAWhjrEh4CM79wA0VeOS3ktbh7RTQp5tJrMC2ceAJgmmhald44wSs0Ivw84aEzIytCjJk5Y09u/djrzdDnRVGWDMktaw2+rNzGJi+dT8iPOn5Wu3ACER+aVR/vXL7k2s2731A4LtJoTsHmiqxiYTlgGX1d3qgNPsxZhJuRFPkC7XPhAzYMjoqcsw4EIPkvF/bZI04IQSzgQcBCp+mSMwrAh0Wdy485Ev8dYqyTvqsFY+gMo4IxAHpKEwAiQR6LFjYE8DFBl6KAuTM7OObS5ZFVSpFSkxLUyMAM1ch2paWG4v+Rig8O5ntfB5gzhpUWVkqWT/iy8ys8LaM6QtODSbXv+BJEk5apmkOGhzu7BxrY1ZE7zg2ImsLLvfiVeaP0eWSocTc+fJVbFjxKLg+EOzLNBULTlrGjs5qpzncki6DGlGyRpijwYP8cTqC2A1SQM0ahydQ7YZeeAIcARGCgIffVUPvzeIscWS07SR0i65HZwRkJGIOUYsCw5CWdDPlAUlWMl+gL/RBO3E8gjRi6lmSFEilrYOFzLyDUkvOxCwQQx6odFHidiQGhu+ucXkwNpvmpGbZ8Cxc8ew1N0bPkbxRjM6phoxbZGkPVu3qRXdzQ5UzilEcYVkXOfplRsRcodQOlmLiSUl7N7lbZ/CFvDiB6UnwKjquTzirQ9LYg6RRcGm6k627XHsRAlDGi+XvQ4KpQ46vdT3ZGAql/FJeyeICT25OLfH0pR8nR85AhyBQ4MAKUev/7YZOTl6HDWj+NA04iC1ckYgDkDBIXgfJGVB2WuhP0yMtBOSPyslpzUBfwiZBanYMSApuSXDtHAsvG+u3M2MQ5110gS2WyAYDMD50gqWJfeyC5k5ab8/iI2ratmOjSNPkmbOTZ0m1G/1MNsBV586m+Vv8XRgRfsGlOuysST/qNhqWNxHioIA1OXJ3alxQEVxElx2DzqbbCioyIJGL+kt+LztzHKg3kiSkOS+duTQaa3JhmytGvO4NCDOiPAkjsChQ4CkAbQlfcmxlRHacOhaE7/m5H6R4tdx2KXK3gcVg9ERCJIdAWn7oK92L+u7JgWz0oizofA6ezJBjioKJmfrILWNdgrU7O5EZUUWZk2Wyt3639eQU+9By8IijJt6NOvCjq8b4bL4MPWYssiSx7Mf7QACIqbNNSLPKNn2e3H/f9kM+PKyU6ASojoDVAjNvr27m6Aqz4ciraekIJk49VVWU41kojp2WcBpl9YGDenJ1w/4uK0LQTGEJUW5GIx/jL76wdM5AhyBoSFgtnmwbmMzc7V+9AxJkjm0ElNzN2cE4uAq7xpQDYIR8LPtgxIj4N0riafVE3pua4tTZcJJ1vCOgazC5BM6cj1MIVlbB6ms//xX2k9/7imT2FKGx22HZvmX8GuBqsuuYPW57R5s+2wftEY1Zh4nYfbV9hp07vFBaVTgxyfOZfl2OOrwpbkGczLKMC/jwL33oY5OhGwu6A6RRcGmXRIjUDYlurTitNeR8WSkGZOrNGr2+rHOZEWOVoO5uVw3gD0g/I8jMEIQkKUBS48dF7GZMkKa1qMZnBHoAYd0EtERGAQjEBBFKCHB6q1pgDLHCGXYk2KcqgadFJEIpMCGADMtrNRCpUqcsOy2xff50NrmwJyZxagolsrcvPw5GDuDMC2bhPxiieh/+8leBLxBzD5pXMSS4LNvVTOMFi3KgU6jAVlufKHxQ5Z2+dhlcfUjvHuI6ALqQ+B6OOgPonVPN/OWmJErLdsE/Db4PR3QGcdAoRi64yPWufDff9s6ERJFLCnOhZLbCYiFhsc5AocUAZIGkE5UVrYOC2aWwOv14KJLzsH7H7zTo13rN6zF1ddcjmuuuxLPv/BMj2vDdcIZgThIi7JlwbDVuzhZ+kzyi5JBoaDVhkCrGdpJZXGJVZ8FDPACSQRoqTkzTGwGeNtBs0mmhS3Q6CQvgQe9ISYDEaR39kv6BTHJLKpSKXDWYmnNv7ujGbnv7YArS4GZF/6EXe9ut2PPhhZkFhgwaV4pS3t/4za4WvzQFihx9ryZLO2L7k3Y6WzDKfkzMN5w4NbAkN0B84tvMkNC+hnJ36vPGtHPX0tdN9PdKIvZLeB0SoxJmjG5ywKbzTZs6LQyq41zcuK5Q+qnofwSR4AjkFIE/ruadANCWLKokkkDXvjns8hIP/A9fezvD+Huu+7HPx57Gt9sXI/6eul7kdLG9SqcMwK9AKHTQJgRUCTodIjWpklzm5QFfXX1rGRNVWqcyFg7HEjP0UOpSu4QSvYDRAxGUXBDlxWt7niOeoHjFpYhJ1PPMKl5+Rlo3CJc5xwNgzGLrelv+LCWmUuet2yCpDQYCGDV5+0s/7knlYHMTntCPrzY9DF0ChUuKVnCrsX+kRGhrseeQaDVguzLTk+6SefYuvqKN4a3DZZNjm4XjegHGCf0dVvC6V0eP15vaGdGgy4dV8qlAQkjyG/gCKQOAavdg7UbmpGZqcX3ZpWioWEf+x111IIelTY374fRmM78EBC9OXr+AnyzcUOPPMNx0lPLajhqPAzqCAZCrJWJKl6R2JoCKQtG97EnXz/A4/TC6wygoFxy2JNMSC3d61hxOkNiW9zIxv17zaY+rdmdslBaG6/b/AWKP90Pc5kGM0//Aatr3452tNR0MZ8CYyZJ6+pPrlyPgDWEnPEafG+SREBfa1mFdr8dl5Yeh1zNgX23v/cRXKt3QD9vMtLPPj2ZsAyoLGIE9+/qhDZNhfwyqX2hoA8eRxPU2lyo47R5QAX3ykSM6kv7muENBnFRRTEKdcn3PNmrSn7KERgVCLzb3I7N3ZJp9sF2SLlTwWb68v2zcow4o7RQPmUTmw+/rEcgEMKSsG7A3//xEG668Vf48KP3I/ko0tXdiazM6LcsKzsbLS3NPfIMxwlnBOKgHNERUCbmdCiIICuNGAFvreRQRjM++RIBS0dqTAs7HLvhsu6B1lACY3piJpHfae6AKxDEGWPj7zTQa1Xwed2wP/UayDKA8ScXQqXWwOf2Y+07NWy74IIzJUXC6uYWVG9wsu2Cv/6RtDWwztWEN1rXsu2C5xQdf8Co+Wr2wPzc28y5U+6NV0FIUJpzQIGDSOhqscNl82H87KKINUSyJkjOBZJpTfD9lg40OT2Ym5uBeVxBcBAjxW/hCCQfAZoI7NzbjQ8+r0VDgxUZWZI04IMP38WUKdNRUnLwyRWVcSgCZwTioE4iZgqJSgRoWYCCQhTg3d0AVWEWlFlRbo9dTMKfrCiYTNPCoZAXXa2rmAOc/OKlCek1VNsc+LbLhjEGHRblSwaA4nXz21efRHGTDy0nlWHBbMmnwPqP9sBj92POKeORmZfGXHQ++241MyV85MIsjCssRFurGf/YtwIhiLi+8qwePgWonpDNDtODTzFPhfm/ugrKzAPX4eK1J9lpTbvC1gSnRncLuMLbBpNlTXCHxY4v2s0o0Glw7tiop8Zk94WXxxEYjQjQzD129j6YPvZ2Q0zEe8vuDnz0xV40NdlYkeRZ9ZyTJ0CtUmDtujVoa23B2nWr0dXVCZVKhfz8AsyfdzTy8wrQbZZ8r9CNJpMJubnR78dg2jeYezgjEAe1oUoEMpxBBE12pC2SFNziVDGkJKvsY6DAOKRyYm/u6viMGbzJLFiQkH6ALxjCGw3tbJ/EhRVFfa5V76/bioIVO+DIU2LGFTewqlv3dmPP+hZkF6dh+jGS0aWXv9oId2sAukIlLl0kbRd81/Qlqp1tOL1gNqb1UriL6AW0W5B9+RnQTp0c262kxElqYe2UpDDxWIym2p3MZXNHayOyxniQO8YJt6ueafO7HPVQqPTQ6ga+h5ieP7PfB6s/yMSMNEegny8Uwqv72ph3y0vHlUA7CGXWpADCC+EIjEIESNnZ7w/BFwiwoz8QAv3IGy0ZmaP3MhAMQdlsRd3eLnR0u9BJv04XHA4fQ2TalAKceuw4lJdEvxR//MO9EbSefe5JFBUVMyaAEouLS+ByudDa2sKYg3XrVuO2398VyT9cEc4IxEFatiOQqNtW2X1xYbOdlaqpSr5FQSpYlgjQDDoZwePaD3v3Fqh0OcjJ6anMcrDyP2o1wezz44SiXJT04+Wv7YnnkO8HQpcvQ1p6Nmib3er/7GLFLzx7KnPM02zpxvqvrIBCwJVnTWYKgs3ODry0/zPkq9JwaemyHs0Jmkzo/PsL8GzcDf1RydcLIE5/z8YW5vfA75aWfW7s0QLpxO97j0UmSHwLOlt6OhYxZk3r15pgk8uNtZ0WmDx+dHv9sPj8jPDHqYolnVdW1C/Wfd3H0zkCHAGgZl83vtq4HzaHFy63H25PAG63H16P9I4nilFWpg6zZxRh6TGVGFM4MF8CtIVQdkP8i5t+hbvuvp1Ve/xxi1FWlhq60V+/OCMQBx2yLKhUCgmJx6mYEDmaB5DTIimjaMYnX+WBCaAAACAASURBVFGQyreanDBkaKDRD334yBueqfW/rN0FRUshKAZeZqPLzcTUZMxmaXEuK2Pz7g5IQn92GvnLr3ai9ahcHH3c96V8/6uHrdONKceMQf5YybbA429vAXwiJsxLw5SSUjYb/su2V+EJBXDzuLMj/gSIQDs//gzdz7wJ0eWFYeF05F5/ZVL1AuzdLnz9djWzCaDWKzHle2OgNtiB5yNdikQ8zokQBdqxKCAr3widPqy8J9AzpIQxM/42xi6fHx80d2Bzt8Q4UoEZahXKjXrkatXI1KiZhEUQ2YoNBFFAvk6NmVkD+9hEGsgjHAGOADrMLry1aje274hucVarldCnqZCdpYdep4JGLbkJVmkU0KgUUCuVTH+J6AFp9auUAvJyjTBoFCjIMSAvy8DE/wOF98orfnpA1tmz5uKJfzx7QPpwJgz8qz+crTrEdYUC4qCIiqwsmNUorROlwrRwwBtg7m2Lqvpei08EPnPXGvi9XUjPmQldnH35fZVFYrLlDe1s5npBeSHbLeD2BvD6u7viMgJHbKgD/fCY5GHwBAD0iyWsj8iVPSlHgPsj0dWRGEWIdYgI26nchySfBT0yDeGEBHsXDPD+qfPOGmBOKRspVa5q68RXHRa2fEC6FaeW5jFXzbKXxoQK5Jk5AhyBPhFwuQP44Ks6fLmmkdn8H1uWgXNPnszE97SGn2jorSOQ6P0jMT9nBOKMChE51SA8D5KyoCCKyKi3QT0mF4r05K3hy820hNeqs/ITMy3ssNegq+0TpgdAZZFy6g5xDNb6psIrngmBdqw0S1b86JroDkA0exHq9iJER6sfNDPtEcQgMnXtWPnRW9jl6kZphwNXmgYnXutR7mF8QtIKRyAIk9cHk8eHTp8ftLXSGQiyXRV0jVwG+0Mh5iTo1JJ8zMpOR6LLUIcxRLzpHIGUI0DEf+feTuyo7cT2ahPcLj9IhH/mkgmYN60oYWlvyht8iCvgjECcASBGIFFjQlRMMBTEGHsIalsA2iNTs85j6ZCWHUgEPZAQDLrR2fYxnNZdgKCE1lAMW0iNlc5yNPqyoEYQ5XoFBKUWAXcAlj0WWPZaEHTFEHSFAF2WFkKYOTKKzZht2oTJ1Wbo3FIrLOnZ2Fc4D9vySjF77Z8H0rRRk4eely0WO9Z0WtDs8rL9/fE6R5tRDSoVE/vPz83Ewvws7jI4HlA8jSMwAAQY0+32wWr3weLwwGb3ocvqxu693WhotCIUNgynN6ixbPF4nLyggon+B1D0dy4LZwTiDDk9QLQmlGggicC4dkl7VJ0qi4JhiUDmAHwMkF2AzpZVCAWc0OgLkV9yKrY6NHi7qQOeYBCTMtJwflkRXFYPVq1pwKYtrUx0pterUDW9EONKMzFubBbKijNACuq7N3wM2/srUbjJyqCxFqpQP3syrEIVXFYtS0srko6JYnc45//T9jrY/AHQE1Og1yJfq0e+jo7q8Fq/Ckalimn585n/4TzSvO2pQiAYCqG5w4F9zVb2M9u8CPiDYe39IDPO4w+GmPluUuYO+MUeRn16t2tMaQamTszD9Kp8VJRkROx69M7HzyUEOCMQ50mgB20wjIAz4MKYDj8rUVs5NENC1IaadfvRvIf2mEZl8t1tYYlA2Osg+QagdX6fWzLHS5Vb3QKWf5MJK1NVmAiloIYeFsxq/QvSXF62Nk/+aZQQsBn0QokgUxelSg08qmJ4HAUQt7TBvAX4KlOB5rx0mN1aiCEFUHAKlKebUe7ejWKbGUpPI9KDDchUiFAGRWB/tK1xoB2VSd6giGMLs9kMP0/73WOERuWg8k7FRYBm4VaHF6QP5PNJ2+t8gSDYzxuExxeAxxuE1xeAzx9kW+5oW14oKIIm6KFQiJkSJykapdORzPG2NNsZse9dqVKpgFqtgIp+KgUMBjWz269S0rkAg16DzHQtMtI1yErXIcOoQeWYTGQY+HvYG8v+zjkjEAcdeuDUGsmVcJzLcZNWm7fgkfp3cE2zH6KCPN8NjhGgF61xVwe++bCWadXHq4z23euNWnjczeho/gABn5lloxdt874sfLGlHCFvmCALAcxWrsGxW5qgieMGwK9Soz2nFB0ZY2FVFzFi78sOojMP6LQp4TeHALsIg7YDVUItppg6MLbeC0XMykHvNm6bNwjnOoIAzZSxyDxtMQzfmw+oVIzjd3Z7sPWrfWjc0cHMKguqILLHWpE/1oLcEhvUasmIU+82DOScdCFMQg4aVDNQ681Gt6+fTsUpME+rwTGF2bgjNwM6RWLPS5zieBJHYEQi0GlxoabejN37ulFb3w2rNc6HZAgtp902hYVpKCvNQEVpJvsV5qQxBoBL0IYAbAK3ckYgDlg/PmcGcvIGtgZPjnCeb3oX73VsgkGhRkUToC4rhMIgOdiJU3yfSZ3NNmz4YDfa9lqYZ8HJC8ZgxvEV0Gp7DpOgFNFl+gy2zm+YtCAjdw6cwZlY/kEtmprs5OwA+XPzcGZ+N/DyCuQ0+ODKFNB92SKMX7AM1g4X2htsMO21w9ziRFAIwVXiQzBkgbrdhsxGK4rrnMiAHRk+F9LtvggTQexF58Q0hGZNRMGMo6FJzwRI81apgqBUQqtVQ6fuafteq1RDEXbNHOm8QkBIEOB1BdHd7kB3hxNOsxuuJh+8L66DoOyGWmeBRu+FxhjAtMUB6NNCUKlo6SVswVGZDq1hPPSGKqjURkmvQyR9BwVTBqLtdhAEWP0hNLl9aPMHYfUHYPbRT4rTrISCWiFiZnY6ZmSnY1y6ASoITNRPHh5ZOZGGRyMaReJbTKN38xhH4NAiQEugrZ0ONLTY0NBsQ1Orjc30KZ08sNIs3h8IwumUpJzUWlpvnzo5H+lGDSPUGhVtt5MmTjqNCjq1EloNfQdU0KqVTCTPtt4JtP0u+iOX2dK5Anqt8juxdk9uiC/78SW49IeX47RTz4wM/oUXnYW8/IKIXtodt92F/Pyo74JIxhRGelKYFFZ0OBVNVqEGskWk3tWCx3e+grR9bbi6U4M5LSqEnAHowlby+uqz0+pGwy4THGYPW5932rxwWjxsWyDdM2ZqHuadUsX2pMeW4fG68NXKt2Bv3MMsXIVIuB/Sw9j5DRS21ZiNEI4kE8dqAfZNaWgMKiBkV6IpR4CgAgJb69H27cMQAiKUoRB0gRDG+oLINruRvdULRRypvjNTQFepCmJuOnQzpmL8MUtRnluE7jY7OhqtcEsG98LNJEt4AQSDdogKJwAHILggCj6ARIP0gRGlj4zP64fL4UEwEAAxNgpBhMHoReEEFwzG6Icn0n9BCaXaAKUyC/q0sTBmTEZAmY9Wjxf7PH4EPbGNF+EVg8wef5PDA4v/wPLS1SpmEpn25U/PSsfk9DRouKW+CNw8khgC9Fx7/UFmoMblDYC01l1eP8iBGfGaMsPJxOSM0EppTEQeVmo7WI3GdC0c9p6zcaqXidyZ6D3ERO20rEhiea8vBJ8vyH5E0MkqHq2zB/0hFu8yuxHwRSVqRJi1OpVEoAWwIxH08rFZmFiRg0njclBaYOQ7XA42UH1c78sNMWV/8IGHYDAkthOsj2oGlcwZgQRhI5O2Lbs2Yc/XHyFtaxOub4iKk0MwQVNRCOOJiw4olV7Y1jozdq1rQtNOE1snkzPRrNOQqQXZBph5XCVKqnLkS/D5vPhq1ZvwfLsFFTVmTLCKbD5sS8+CKCiQ7miHKhSI5B9MxJ0uYP9EFUz5SrTnqtGaq4KmoACVJZMxI3cK5hrLoRJUMLc7sGdTO/ZtXR1ZtlBqA0gvdCAj34mMHAeMWR6k6aKYJNoeQamDTl8Cjb4IWl0RCovGoq07BJNfQJvHj3aPF21WH1ranLD7JaXF/uowqlSYmmVEuUGPsWlapryXpVZzbf3+QBvENWLyiBCSuw1RIGaPNFtCCIUE5j+CPCYSgSJ9FLLAScpeTPkrGGQKYDKh7K9qtq2V7c6hcqU6GGEl5pL4wDBRjEccKT8ppFH9krlYiRj6yIQsW+sOstmv7IK8RztYm8PtD8+UybMcEVbq08EU13qUdahPBEhr7CoFcrL1KC/JZCL58uJMjC0yQq3iS1ypGKK+3BCnoq7BlCmI9NaMwHDPPfdg27ZtTMT729/+FjNn9m+339QuGfFJVldkiYDo9SLQ2oFAaxs6N38D97rt0HZJOwMCWgGYUoq8adOhnjAeqvFFCGnJLnUAXo8flm4HWrbVwdHYAZ/VBfgCgBBCSKdiBovUXh/U3gA0fh/Ufi9Ufj+zUEcS7fB3DSLFaKrOpushCIKIHJMPeqc0bNZcJXZOMaIpVycJzEVSAlRBDQ0CyhATkytJyUahQ7qQBo1CC6VCyezVC6KCrPlCqwlBrQlIP3UAKlWALU3EYhkKhECGliiQDoROr4JaG0JIcMMLJXxQwU8/0YiQkIagoEdIMECEHn5BDTcU8IgKuEKAWxQQFCTxPUgAzzZoCFCQhINEF+FAtVn8Adh8B87oszRqFOs1KNLrmBteNXUkJpDosVSvQ7ZGdUj2DBPhYYQiJMLnD8HvD4CIDtkyJwIYo/8Z0+qDR+l5YAQxTPToJChGCRyzi051B0LweALw+APw+oLweiXFrZ41yApcYVFwWHmLCCWVEyJCFyagRCBoVikHMqJJimE+b5CJk/3e6DU5z2F5ZI9jz2eJFGsVKoExjwqlwJyR0TtFukSktEbKbKTUptWoYNCpoNNJR71WzZTc5HVu9ogK0v2UxpyaKcii9sCWmDKy9LBZwvt1w+BSS1mbaClLKc3iVQpJPK9RK5h4XkOid5WStZXqpDX572p447812Lwjqlg9GBzoWZC/hXT/rGmFOG/ppH6L+s0tN0XcEJOvgd5LA9OmzUBbeyuOmD4D1/z0hgGPEdGpZIToVzcZpSWpjHXr1qGxsRGvvvoqamtrcdttt7F4koo/aDGvvfQ8TD4lFCGRGQgSECL6DQhaiAvIoLwgEWwIUJLNAbMZinXrofhahBIiVIEQS1fTB58tMpPfXdJi7anJ6kvTk4tDhJQCRIUCokI4gD6wNIUCIUGBEB2VAjt6tUoEVFIavdi0Xk11s12PTNROZgMksR/NzoIQYGGr69QbBUJEjKFESFQgSPGggJBTAXK8GAoqqMdSPqaFIEAUKU36SXHpepiK94upKPohhGdwUgWiRPtj7iJ82UyS0JWllSKgUSigFwRoIUAjCIyBIWc7SnhA7EFT+BdTVJ9R4nlltpfNQNl5lGDLM0U224wR5zLCG9ZyZtrP4Tito7JrbDIanqGGZ519NuIwvEAiY6IdMnbUBfbMaZXQ6ZTIS9NDp1VBo1GFiZp0nT36RPBk4hk20apUyMRTYDNQIqZEzAYSZALK1peJgJJ6iiC9jzJB7UkcieBKDC8RayURdEE6ElFka9zMnKxELKnckRrkyclIbR9vV3wEDuaG+LLLrsSCoxciPT0Dv7/t1/jfZx/jxBNOjl9YilJHJCOwZs0aLF68mHW5qqoKNpsNDocDRuPAFPiGitVa81j4u2RqNNTSDsf75b4f+lkeLXr0UENIIZwyoWAEJUwQ5Fkc225Jyk5Kgc0AhbDiE5ENIop0ndQLidAQMSHiRoSGDFPRjJFm1OzI4kSYhkBwSNEqfLvcVpWCiJtUJxFeUuAi4kyzVJ1WyWaG1KbegcqRiSqbLSqlmS/DgpjL8AySE6HeyPHzwxEBmrkfbPZ+sH4l+i7054aY6jp12RmRKufPX4D6+r1h++uR5JRHRiQj0NnZiWnTpkU6n52djY6Ojn4ZgezcNKiStL5VnGODxdDbs1/4y9vz0GtCLF0k0T4FOtCMhaiEghJjNNAl4iGJ6RSymDwOcaAk+tjLH2uBZleCghEYmunQj4iASk1KPj3X99iMTJSIFLWB2sPEiEwsyQTxzFAQI1LKsJMN5miDyiQioIwQnMhgDCLCiCeJUGUNYxXNAA8kStRAwoVmeDIURLwYUVUJUNPMMUxcB9EMdguV34OIEuELE+3BlvlduS9ZYsjvCl6p6Ccfg1SgmniZiYzD448/FqngkUceQWlpKU47fQlLs9vtuOmmm/D4449Do9GgumY7lixZwpTVIzcNQ2REMgK9+z0QNQZzF2mpJyf85ofnDGjXQHJq46X0h0CE+/aDWRrrLy+/ljoEIuOQuip4yQdBgI/BQQAapstDGQeX0wu7zY0Xnv9XxA3x7Fnzcf5550Oj1aJq/AQcOWchBqrzRm1JRhiRjEBBQQFIKiAHk8kESuOBI8AR4AhwBDgChysC8dwQX3jBxaDfoQxx5LOHsjlS3QsXLsTKlSvZyfbt25Gfn9/vssChbzFvAUeAI8AR4AhwBA5PBEakRGDu3LmYOnUqLr74YrZmfPvttx+e6PJWcwQ4AhwBjgBHYIQjMCIZAcLs17/+9QiHjjePI8AR4AhwBDgChz8CI3Jp4PCHlfeAI8AR4AhwBDgChwcCnBE4PMaJt5IjwBHgCHAEOAIpQYAzAimBlRfKEeAIcAQ4AhyBwwMBzggcHuPEW8kR4AhwBDgCHIGUIMAZgZTAygvlCHAEOAIcAY7A4YEAZwQOj3HireQIcAQ4AhwBjkBKEOCMQEpg5YVyBDgCHAGOAEfg8EBAEAdiyP/w6AtvJUeAI8AR4AhwBDgCCSLAJQIJAsazcwQ4AhwBjgBHYDQhwBmB0TSavC8cAY4AR4AjwBFIEAHOCCQIGM/OEeAIcAQ4AhyB0YQAZwRG02jyvnAEOAIcAY4ARyBBBDgjkCBgPDtHgCPAEeAIcARGEwKcERhNo8n7whHgCHAEOAIcgQQR4IxAgoDx7BwBjgBHgCPAERhNCKhGU2eS1Zd77rkH27ZtgyAI+O1vf4uZM2cmq2hezkEQeOCBB7Bp0yYEAgFcddVVOOKII9gYBINB5OXl4cEHH4RGozlIKfzyUBHweDw488wz8dOf/hQLFizgYzBUQAdx/4oVK/Dcc89BpVLhhhtuwKRJk/g4DALHodzidDpxyy23wGazwe/349prr0VVVdWoGwcuEej1lKxbtw6NjY149dVXcffdd+O+++7rlYOfpgqBNWvWoLa2lmH/9NNPg5iCRx99FBdddBFefvlllJWVYfny5amqnpcbg8A//vEPZGRksBQ+BjHADFPUbDbjiSeeYM89jcUnn3zC34Vhwj62mrfeegsVFRV48cUX8X//93+4//77R+U4cEYgdtQBEDFavHgxSyXOjzhBh8PRKxc/TQUC8+fPx8MPP8yKJiJEs9INGzbgpJNOYmknnHAC1q5dm4qqeZkxCBAzVldXh2OPPZal8jGIAWeYoqtXrwa9D0ajEYWFhfjTn/7E34Vhwj62muzsbFgsFpZEtCArK2tUjgNnBGJHHUBnZydo8OVA8Y6ODvmUH1OIgFKphMFgYDXQzH/hwoWMGZCXAnJzc9n4pLAJvGgAf/7zn5k4VAaDGDI+BjIaw3Pcv38/e/avueYa/OAHPwAxBnwchgf72FpOP/10tLa2YunSpbj88svx61//elSOA9cRiB31OHHuiiEOKClOWrVqFUgk9+yzz2LZsmWR2vhYRKBIWeQ///kP04mhZZh4gY9BPFRSk2a1WvHYY4+hubkZP/7xjxGLfWw8NbXzUgmBt99+G8XFxexbtGvXLtx22209gBkt48AZgR7DChQUFPSYdZpMJpbWKxs/TRECX3zxBZ566imQjkB6ejr0ej3jwHU6Hdrb25Gfn5+imnmxhMDnn38Omo3SOJAkTK1W8zE4BI8GSb9mzZrFFAXLy8uRlpYGkpiRVIC/C8M3IN9++y2OOeYYVuGUKVMYbSD8R9s48KWBXs8UiaNXrlzJUrdv384ID63T8ZB6BOx2O/7617/i8cefYGtxVONRRx2Fjz76iFVO4yK/lKlvzXezhoceeghvvPEGXnvtNZx99tls1wAfg+F/Fug5J8XlUCgEUhx0uVz8XRj+YQAxYVu2bGE1E4NMS5dHH330qPsmcTfEcR4u2qJGnCBtH7z99ttBnCAPqUeAdmo8/vjj7OWTa7v33nvZGPh8Piaio10cNEvlIfUIPPLIIygtLWXMF22j5WOQesxja/j3v//NlsgojbZxyltp+TjEopTaOG0f/N3vfofu7m62pflnP/sZxo8fz7YPjqZx4IxAap8jXjpHgCPAEeAIcARGNAJ8aWBEDw9vHEeAI8AR4AhwBFKLAGcEUosvL50jwBHgCHAEOAIjGgHOCIzo4eGN4whwBDgCHAGOQGoR4IxAavHlpXMEOAIcAY4AR2BEI8AZgRE9PLxxHAGOAEeAI8ARSC0CnBFILb689GFAgPxDkNUvCmQXnzxH8sAR4AhwBDgCA0OAWxYcGE6HZa6mpiacccYZmDFjRo/2k42EzZs3M6tlPS4cpidkC5zMEt9xxx14/vnn8aMf/egw7QlvNkeAI8ARGH4EOCMw/JgPa43kNIlcaMaG6dOnx54e9nFyDLJx40ZceumloL6RJTweOAIcAY4AR2BgCHBGYGA4jcpcwWAQ99xzT0SsTm5Pf/GLXzBXv2RVjpxttLS0MFeo5IubTC3ffffdTJpAts/r6+tx00034dxzz2X4LFiwABMmTAD5ZyApxAMPPMC82M2dOxcXXHABfvjDH7LyiTm56667mBOVQCDA0ubNm8fybt26lZl1JpefV155JZNo0AyfLKuR+Wc5vPnmm8xl9F/+8heceuqp+Pjjj9klctd62WWXHcD8xJZBkhI6/9///geTqRO33fZ7uN1uZjnviiuuwJIlS0D9f+aZZ/Dee++BHPCQZTFyg0xt+vnPf87qJiuI5HSEbMD/8Y9/ZPnIZTI5Stq6dRssFjOzQEa4xIa9e/ce0H9yb0rYkvdLMrVcWVnJTPwuWnQsfve7W5krbKqHnJ5MmjQJ5J3x9ddfZ34AcnJymJtaGh/C/aqrrmJLJGQVjSwz1tTUMLPB+/btYzbryV8DWUu74YYbeuC2e/duhhthM3nyZJA74q6uLvzkJz9h49AfVitWrGBWCMll92mnncZwovtpnBUKJZxOB8ONXBsTtjTuv/zlLxkshBlhTcwcLfPQmFKQx4z6Tfe88sorsTAy99R030svvQSyzX/dddexZ5eeVcpL98mB6iCcyE48YTx16lRWD0nGyNuiSqVilkQJX3qGY0NfePTVv/fffx///Oc/WRF5eXn429/+xvxnJOt5oveW/HHIDD71gd5jeibkQO66ZczoOaH3it4N8uFB+YqKiti7Te8OjcPLL7+Md999l1ntJE+ThCG5Aqey77//fpZO5/RO0/NPzxY9V/S8keXVW2+9lZkHp/xkh5/e+VtuuYWZSaZ2xPuW9PUMEzM/e/Zs9m5RX6kt1F4eUoiAyMOoRaCxsVE8/vjjD+jftGnTRL/fL77zzjvi1VdfLYZCITEQCIjnn3++uHbtWnHNmjXi7NmzxdbWVnbvr371K/GFF14Qd+7cKZ588sliMBhk6TfffLP4xhtvsHhHh0k85ZRTWPy1114Tf/Ob37A4Hen866+/Fq+//nqWdsUVV4jvv/8+i+/atUs86aSTeuSlE7ou57/00kvFr776iuWR/6heqp/C4sWL2bGurk4888wzRcrfO8SWEYvLbbfdJj711FMsu8nUKS5atEi02+3iww8/zMp5+umn2bVXXnlFPO+881i6y+VifTWbzezaypUrxRtuuIHFqS3PPPMMi1Ofzz77bBaP/eur/5Qntl90fuutt4ovvfQSu53G5oEHHhD3798vHn/8CayddOG+++4TH3nkEZaHxvbDDz9kccJdxpAS5LFgF/vBjbC66667WLb6+nrxmGOOYWPeH1Z//etfWf7NmzdH+kzP0bp161j6xo0bxXPOOYfFCVs5PyUQZlRP777LY0blXHzxxeze2D/5PhoPGvc9e/aIZ511llhbWxubjcXlvHQSWw89s9RmCp988kmfz048PPrq3/r160WbzSb6fD72nNB7k8znid7XpUuXig0NDazd9957r/jvf/+bxeU/GTNqA2HT1tbGLt1+++3i8uXLWTx2HJ599tnI80Tj/OKLL7I8VE91dTWLP/fcc+K7777L4rHvECXQ+yq/83R+3XXXiR9//HGf35KDPcP0faJw1VVXiatWrWJx/pc6BLhEIIVM1kgvmpxpkAMN8qlAs6c5c+YwRTviyGlGKnPhxJ2TMt6iRYvYTM7v90Or1fboXm3tHnZPj8TwCeV/9NFH2eyUksiZE3H5FGjmSbMLmnFToDV+ml3Suj/N1ORAcZrxkjSB/D/ECzTzotmKPBvrnYfKyMzMhNfrjVwixcKLL76Ynefl5TJpBM3YKZAE4NNPP2UzYpI4LF68mEkNaOZMM2WqiwLNWghDOciOkWhWRFKT3qGv/tOMtXegvOQHnQItedCP9CGmTJnM8KB0kuSQkyA50DhRoPF84YUX5OQ+j/Fwk/tQUVHB+kaz6P6wolnwpk2bmOdCmglSIMkD+e14+OGHQc8AudWVA+Wn2SMFwlIO5GiHZuAUaMYph7q6OpZO5ZAzJJIwyYE8VNIzQfeRNIRswQ8kkNSJnruZM2ey7ISt3Pbe98fDo6/+kXSL+kczcJpx04yZxixZzxM9a4QBucgl2/dff/01O/ZuM52TtISkIYWFhewyOc4hvaHegSRSJHVTKBRMUkB9I2xIOkUSKArkCrmvQONGUgd57Og+qovujfctKSkp6fcZprqoDJJCyNj3VTdPHzoCnBEYOoaHbQmxxIs6QWJuOS3Wz7acPm7cOPYBOu644zBx4kRG5GSxN30ESNwaLxBhJnEjObChINcRm1dOow8AfeSJ2F5//fXsA0r5fvOb37ClARJTErPQW3y7evVqRnioXX0FuQx5aYDyyfXG3iOn0UeIiEx1dTUjZPRxJN/w1BdikmTRbOy9FCePcRRk3Hpfl8uPTY+XRtcpXS4vNn9svHc9sWPXV7ny/X3hFlunVL6iX6xoOYBEzEQ8Kv39lQAABMVJREFUvv/97+P444+PEMLzzz+fEXUaTznI+emcCJUciBjHLg3I6UTcCW8qf+nSpYzAytfoSIwKua2mpayBht7YxOLWu4x4eMiEvq/+EUN24YUXRrzXJfN5Ovfc83DZZT9iRJKcEcXzkErMExFjEufLgZaHer8jxHST188VK94BMcP0jlEgfPrDRC6TjvRO0BIhLSPFBlqiiC1DepaiTLOct3c6veO0XENtoeUMYnh4SB0CfPtg6rAd8SWTv3Nak6WXkNZsv/nmm8jsqKGhAe3t7awPtMtAnhVQPiLU9FGmj7YcaOYsz0TlNPlIHwdiHkgqQIEkDl9++SWL79ixg83SaaYfG3rP3OVrNHOJ/bDI6U8++RRuvPFG+XTAR/qIym1pa2tjBIUYHjkQkSLpBc3m5EAzHIvFEpmxrl+/HuQ5UQ708aNAeFZVVcnJkeNA+i9npjVYuX20NZJmrHT/rl3VTG+A8hExp3xyoDGlQGvuvRkmOY987As3uQ8kHaFZYm5uDvN+J7clHlZUJhEkekaIcBLRluv/4IMPGDMl1zvYI5VP7Yl9Bqiev//97yBvffQ80ex0IIEYB1rDlyUThCNhGy/Ew6Ov/pGuB+lTEOEvKChkboTlMpP1PBHBJmyJaTrnnHPk4nsciXl68sknmSSOdGCIKSDGlt6t2EASGXqvqEx6run5Ic969E5SXtkNL+k4/Otf/4q9NRIn6dcnn3zCxp4S6V2XpWHxviUHe4blgqldpHPAQ2oR4BKB1OI7oksnpTYi8pdccgn7cJ944ok48sgjmcIVETsSGdPsmT5oJIokZaKdO3eyj0tsx0hRjj7ANKugQMqCJO7//PPPI9mISNPMicTrpJD1hz/8gYmziWiQa2E50EyAFPTow0UKSHJ47LHHmJiT/LJTfvnDLF8/+eST2MeMxImJhJ///EamLEgiTVoyuPPOO5lCnVzGySefzGYltDVRrpMUzqgNJI6Wl0ioP3IgBurqq69mjFS8ZYz++i+XIR9vvPEmpixIWBLxo3tJ8eqGG64HKTbSTIzEvjfffLN8CxsjYkxI9B2LbSRDTKQv3Ghcrr32WjbDpnEg4tsfVrKon8aNZv7kt52UNuleEgNTnJhFag8pmiYaaCZLyoBEqEj8T0RcDqSQSFjQ0gqNAz1rpIgWb5Ys3yMfSZmSloxoaUwQFLjzzjvkSz2O8fDoq39EFK+55qdsbEjRlBhkkphRSObzdNZZZ7GlF1qK6CvQsgRJUAh3Wroh7HoHkuSNHTuWvZ90pPEjaQcx7zQjpx/NzglPWuqJF6gOYqhomY2wpCU/6ju9C/G+JfR89PcMk2SQJBL03MVKNOLVzdOSgEDq1A94yYcrArKi0UDbT0pdpDwUG0gRiZSyvmshVintUPRdVgQdSt2ykt5QyhhN9x5KPPp7nu68884DlARHGu6JfktGWvu/K+3hSwNJYKZ4ERwBjgBHYLgQoGUZWp4j6Uus0uRw1c/rGX0ICMTxjL5u8R5xBDgCHAGOAEeAIzAQBLhEYCAo8TwcAY4AR4AjwBEYpQhwRmCUDizvFkeAI8AR4AhwBAaCAGcEBoISz8MR4AhwBDgCHIFRigBnBEbpwPJucQQ4AhwBjgBHYCAI/D+QFco6SZqYcgAAAABJRU5ErkJggg=="
    }
   },
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Для каждого значения $r$ отсортируем кластеры по количеству элементов в них и построим и на несём значения на график. Это будет вариационным рядом. Очевидно, что при увеличении параметра отталкивания размер максимального кластера уменьшается. А их общее число возрастает. На графике изображены кривые вариационных рядов для различных параметров $r$.\n",
    "\n",
    "При этом, для определённых значений $r$ наблюдается своего рода фазовый переход ($2.4 \\leq r \\leq 3.3$). Эту область можно условно назвать областью \"стабильности\", когда кластеры не объединяются в гигантский кластер и, в то же время, когда они ещё не распадаются на части. Скорее всего такая динамика будет наблюдатся для любых датасетов и это общее фундаментальное свойство алгоритма.\n",
    "\n",
    "Для маленьких значений $r$ также существуют кластеры малого размера. Именно их можно рассматривать как шум по той причине, что даже при слабом отталкивании они отделились от гиганского кластера. А значит они совершенно непохожи на большую часть примеров. Следовательно, они выбиваются из общего распределения данных.\n",
    "\n",
    "![_auto_0](attachment:_auto_0)\n",
    "\n",
    "Область фазового перехода выделена выше.\n",
    "\n",
    "Рассмотрим теперь характер изменения количества кластеров, размер которых $\\leq 32$:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "noiseLimit = 0\n",
    "seed = 42\n",
    "_, ax = plt.subplots()\n",
    "linspace = np.hstack((np.arange(1.2, 2.6, 0.2), np.arange(2.6, 3.5, 0.1), np.arange(3.5, 5, 0.5)))\n",
    "count_clusters = []\n",
    "for r in linspace:\n",
    "    clope = CLOPE(print_step=0, is_save_history=True, random_seed=seed)\n",
    "    clope.init_clusters(mushrooms, r, noiseLimit)\n",
    "    df = get_count_clusters(clope)\n",
    "    df['sum'] = df['e'] + df['p']\n",
    "    df = df.sort_values(by='sum')\n",
    "    count_clusters.append(df['sum'][df['sum'] <= 32].shape[0])\n",
    "ax.plot(linspace, count_clusters)\n",
    "plt.title('Количество кластеров, размер которых $\\leq$ 32')\n",
    "plt.xlabel('Величина отталкивания')\n",
    "plt.ylabel('Количество кластеров')\n",
    "plt.legend(linspace)\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Как видим, для небольших значений $r$, наблюдается появление шумовых кластеров, о которых мы говорили выше ($r \\leq 2.4$ для данного примера). Более формально, будем считать, что любое $r$ до фазового перехода -- малое. Любое $r$ после фазового перехода - большое. Значит, выбрав малое значение $r$ можно выбросить все лишние данные и очистить общее распределение от подозрительных объектов.\n",
    "\n",
    "Также заметим, что функция, задающая число кластеров монотонна от параметра $r$. А значит можно применять бинарный поиск для нахождения необходимых величин. Здесь можно придраться к тому, что сохраняется общая тенденция монотонности, но при этом есть некоторые флуктуации. Это не страшно, потому как в среднем, тенденция сохраняется.\n",
    "\n",
    "В данном случае, бинарный поиск можно применять для нескольких вещей:\n",
    "\n",
    "* поиск $r$ для которого число кластеров малого размера меньше $a$;\n",
    "* поиск $r$ при котором наблюдается фазовый переход (на некотором интервале будет наблюдаться постоянное ).\n",
    "\n",
    "Заметим, что поиск фазового перехода может и не сработать, поскольку строгого доказательства описанного поведения функции нет.\n",
    "\n",
    "Таким образом, мы имеем:\n",
    "\n",
    "* при варьировании параметра $r$ наблюдается фазовый переход;\n",
    "* при малых значениях $r$ возможно определять \"подозрительные\" объекты;\n",
    "* при малых значениях $r$ будет присутствовать гигантский кластер;\n",
    "* при больших значениях $r$ все кластеры распадаются на мелкие;\n",
    "* при помощи бинарного поиска можно найти наиболее подходящее $r$ за $\\text{O(log(N))}$, где $N$ - размер сетки, по которой происходит поиск оптимального $r$;"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Задача о кластеризации логов"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Сложно сказать, насколько задача о кластеризации логов имеет прикладной смысл. Вероятно, имеет, когда стоит вопрос о их хранении. Этот вопрос рассматривать глубоко не будем.\n",
    "\n",
    "Итак, возьмём логи [отсюда](http://www.almhuette-raith.at/apache-log/access.log). Выглядят они так:\n",
    "\n",
    "*151.227.152.48 - - [02/Jul/2014:14:35:55 +0100] \"GET / HTTP/1.1\" 200 3139 \"-\" \"Mozilla/5.0 (Macintosh; Intel Mac OS X 10_9_3) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/35.0.1916.153 Safari/537.36\"*\n",
    "\n",
    "Распарсим их. В качестве объектов кластеризации возьмём пути, по которам запрашивались файлы:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "f = open('access.log', 'r')\n",
    "log = [item for item in f.readlines()]\n",
    "\n",
    "# 207 уникальных ip\n",
    "# Все таймзоны одинаковые\n",
    "# Дни месяцев брать не будем\n",
    "\n",
    "date = np.array([item.split()[3][1:].split('/') for item in log])\n",
    "\n",
    "ip = [item.split()[0] + '_0' for item in log]\n",
    "month = [month + '_1' for month in date[:, 1]]\n",
    "year = [item.split(':')[0] + '_2' for item in date[:, 2]]\n",
    "hour = [item.split(':')[1] + '_3' for item in date[:, 2]]\n",
    "type_of_query = [item.split()[5] + '_4' for item in log]\n",
    "proto = [item.split()[7] + '_5' for item in log]\n",
    "code = [item.split()[8] + '_6' for item in log]\n",
    "browse = [item.split()[11] + '_7' for item in log]\n",
    "path = [[path for path in item.split()[6].split('/') if len(path) != 0] for item in log]\n",
    "\n",
    "# trasactions = {i: transact for i, transact in enumerate(np.transpose(np.vstack([ip, month, year, hour, type_of_query, proto, code, browse])))}\n",
    "trasactions = {i: transact for i, transact in enumerate(np.transpose(path))}\n",
    "\n",
    "# np.unique(np.array([item.split()[6].split('/')[-1] for item path[:10] log]))\n",
    "# file_name = [item.split()[6].split('/')[-1] for item in log]\n",
    "\n",
    "path[:10]"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Также, для читателей я выделил несколько других объектов: даты, протокол и т.п. Возможно, кто-то захочет с ними поиграться.\n",
    "\n",
    "Зададим параметры:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "noiseLimit = 0\n",
    "seed = 41\n",
    "r = 1.5"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Инициализируем алгоритм. Печать отладочной информации будет происходить каждые `print_step=1000` транзакций. Также, будет сохраняться история размеров кластеров `is_save_history=True`. `NoiseLimit=0` означает, что перед началом итерации, а также после её завершения все кластеры, размер которых $\\geq 0$ будут удалены. А транзакции, попавшие в эти кластеры, соответственно, будут считаться шумовыми. Если `noiseLimit=-1`, то порог будет выставляться автоматически:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "clope = CLOPE(print_step=1000, is_save_history=True, random_seed=seed)\n",
    "clope.init_clusters(trasactions, r, noiseLimit)\n",
    "clope.print_history_count(r, seed)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Выведем пример транзакций, попавших в один кластер:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "count = 0\n",
    "cl = []\n",
    "for transact_ind in clope.transaction:\n",
    "    cluster = clope.transaction[transact_ind]\n",
    "    if cluster == 180:\n",
    "        cl.append(trasactions[transact_ind])\n",
    "        count += 1\n",
    "    if count > 20:\n",
    "        break\n",
    "\n",
    "print(cl[:10])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "На каждой итерации можно выставлять свой порог `noiseLimit`. Попробуем дообучить наш кластеризатор:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "while clope.next_step(trasactions, repulsion, noiseLimit) > 0:\n",
    "    clope.print_history_count(repulsion, seed)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Заметим, что в отличие от первого примера, здесь число кластеров на второй и последующих итерациях заметно изменилось. Также и количество перемещений между кластерами оказывается значительным.\n",
    "\n",
    "Сохранение истории может отжирать довольно большое количество памяти. Поэтому, этот флаг следует использовать лишь для небольших датасетов.\n",
    "\n",
    "Для того, чтобы определить к какому из кластеров принадлежит та или иная транзакция, необходимо проделать следующее упражнение:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "clope.transaction[0]"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Ограничение по числу кластеров\n",
    "\n",
    "Во многих задачах мы работаем с огромными массивами данных. В данном случае, CLOPE может начать вести себя не очень хорошо. В частости, время его работы очень сильно возрастает. А число кластеров экспоненциально увеличивается. В таком случае имеет смысл ограничивать количество кластеров. Но следует понимать, что разбиение станет неоптимальным. В частности, приращение значения целевой функции может стать отрицательным.\n",
    "\n",
    "# Оценка сложности\n",
    "\n",
    "Оценим вычислительную сложность алгоритма. Пусть средняя длина транзакции равна $A$, общее число транзакций $M$, максимально возможное число кластеров $q$. Временная сложность одной итерации равна O(NAq), показывающая, что скорость работы алгоритма растет линейно с ростом кластеров и размера таблицы.\n",
    "\n",
    "# Обработка вещественных признаков\n",
    "\n",
    "Встаёт закономерный вопрос: можно ли при помощи данного алгоритма обрабатывать числовые признаки, а не тольк категориальные? Коль скоро алгоритм, по своей природе основан на отношении эквивалентности, необходимо ввести для числовых признаков классы эквивалентности. Говоря более простым языком объединить по каким-либо способом числовые признаки в группы. Самый простой и очевидный способ сделать это - построить гистограмму.\n",
    "\n",
    "Пусть у нас есть числовая переменная $x$, значения которой отвечают нормальному закону распределения. Нам также необходимо знать диапазон значений, в котором изменяется $x$. В таком случае, легко разбить значения нашей переменной на интервалы. Оптимальное количество интервалов можно выбирать [основываясь на схеме испытаний бернулли](https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%BE_%D0%A1%D1%82%D1%91%D1%80%D0%B4%D0%B6%D0%B5%D1%81%D0%B0): $bins=[log_2(N)]+1$, где $bins$ - число интервалов. Теперь, как было в примерах выше, каждую группу значений мы можем обозначить за некоторую величину и считать неотличимыми, рассматривая как категориальный признак."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import matplotlib.pyplot as plt\n",
    "import numpy as np\n",
    "from numpy.random import normal\n",
    "\n",
    "count_features = 10000\n",
    "mean = 0\n",
    "var = 1\n",
    "x = normal(loc=mean, scale=var, size=(count_features))\n",
    "intervals = plt.hist(x, bins=np.uint(np.log2(count_features)+1))\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Мы легко получим интервалы из переменной `intervals`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "for i in range(1, len(intervals[1])):\n",
    "    print('Интервал', i, ':', intervals[1][i-1], intervals[1][i])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Выводы. Плюсы и минусы алгоритма\n",
    "\n",
    "К сожалению, осветить всё то, что хочется в одной статье проблематично. Посколько получается огромное количество материалов. Резюмируя всё вышесказанное, можно заключить:\n",
    "\n",
    "**Плюсы:**\n",
    "\n",
    "* Временная сложность. Глобальный критерий оптимизации\n",
    "* Быстрая сходимость\n",
    "* Параметризация по $r$\n",
    "* Качество кластеризации (согласно заявлениям авторов)\n",
    "* Возможность выделять шумы\n",
    "\n",
    "**Минусы**\n",
    "\n",
    "* Выбор начального состояния (начальный порядок объектов)\n",
    "* Лавионообразное появление кластеров при большом количестве транзакций\n",
    "* Долгое выполнение при большом числе кластеров\n",
    "* Большие кластеры являются сильно притягивают к себе новые объекты\n",
    "* Проблема с дообучением при заданном априори разбиении\n",
    "* В авторском алгоритме отсутствует упоминание про взвешивание\n",
    "* Наличие нескольких одинаковых объектов в транзакции может сильно повлиять на результат\n",
    "* Отсутствиие аппарата, позволяющего учитывать ранговые признаки. А значит невозможно работать с временными рядами\n",
    "\n",
    "Если статья окажется интересной сообществу, можно будет показать, как с помощью этого алгоритма можно кластеризовать группы вконтакте. Кроме того, у данного метода есть большой потенциал для распараллеливания, что возлагает на него большие надежды.\n",
    "\n",
    "# Используемая литература\n",
    "\n",
    "1. [CLOPE: A Fast and Effective Clustering Algorithm for Transactional Data. Yiling Yang, Xudong Guan, Jinyuan You, 2002](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.7142&rep=rep1&type=pdf)\n",
    "2. [Кластеризация категорийных данных: масштабируемый алгоритм CLOPE](https://basegroup.ru/community/articles/clope)\n",
    "3. [Один способ кластеризации данных с неполным обучением и его оценка. Бильгаева Л.П., Самбялов З.Г.](https://www.fundamental-research.ru/pdf/2013/11-8/33381.pdf)\n"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.1"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
